Skip navigation
Skip navigation

Algorithmics

Bird, Richard; Gibbons, Jeremy; Hinze, Ralf; Hoefner, Peter; Jeuring, Johan; Meertens, Lambert; Möller, Bernhard; Morgan, Carroll; Schrijvers, Tom; Swierstra, Wouter; Wu, Nicolas

Description

Algorithmics is the study and practice of taking a high-level description of a program’s purpose and, from it, producing an executable program of acceptable efficiency. Each step in that process is justified by rigorous, careful reasoning at the moment it is taken; and the repertoire of steps allowed by that rigour, at each stage, guides the development of the algorithm itself. IFIP’s Working Group 2.1 [i] has always been concerned with Algorithmics: both the design of its notations and the...[Show more]

CollectionsANU Research Publications
Date published: 2021
Type: Book chapter
URI: http://hdl.handle.net/1885/307524
Book Title: Advancing Research in Information and Communication Technology
DOI: 10.1007/978-3-030-81701-5_3

Download

File Description SizeFormat Image
978-3-030-81701-5_3.pdf1.1 MBAdobe PDF    Request a copy


Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  17 November 2022/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator