Algorithmics - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Book Sections Year : 2021


Richard Bird
  • Function : Author
  • PersonId : 1108201
Jeremy Gibbons
  • Function : Author
  • PersonId : 1108202
Ralf Hinze
  • Function : Author
  • PersonId : 1108203
Peter Höfner
  • Function : Author
  • PersonId : 1108204
Lambert Meertens
  • Function : Author
  • PersonId : 1108205
Bernhard Möller
  • Function : Author
  • PersonId : 1108206
Carroll Morgan
  • Function : Author
  • PersonId : 1024696
Nicolas Wu
  • Function : Author
  • PersonId : 1108208


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 laws that enable its calculations. ALGOL 60 had already shown that orthogonality, simplicity and rigour in a programming language improves the quality of its programs.Our Group’s title “Algorithmic Languages and Calculi” describes our activities: the discovery of precise but more general rules of calculational reasoning for the many new styles of programming that have developed over the 60 years since IFIP’s founding. As our contribution to the birthday celebrations, we outline how we have tried to contribute during those decades to the rigorous and reliable design of computer programs of all kinds—to Algorithmics. (Roman-numbered references like [i] in this abstract refer to details given in Sect. 10.)
Embargoed file
Embargoed file
0 0 21
Year Month Jours
Avant la publication
Monday, January 1, 2024
Embargoed file
Monday, January 1, 2024
Please log in to request access to the document

Dates and versions

hal-03325977 , version 1 (25-08-2021)





Richard Bird, Jeremy Gibbons, Ralf Hinze, Peter Höfner, Johan Jeuring, et al.. Algorithmics. Advancing Research in Information and Communication Technology, AICT-600, pp.59-98, 2021, ⟨10.1007/978-3-030-81701-5_3⟩. ⟨hal-03325977⟩
73 View
25 Download



Gmail Facebook X LinkedIn More