Algorithmics

Richard Bird; Jeremy Gibbons; Ralf Hinze; Peter Höfner; Johan Jeuring; Lambert Meertens; Bernhard Möller; Carroll Morgan; Tom Schrijvers; Wouter Swierstra

doi:10.1007/978-3-030-81701-5_3

Algorithmics

Richard Bird, Jeremy Gibbons, Ralf Hinze, Peter Höfner, Johan Jeuring, Lambert Meertens, Bernhard Möller, Carroll Morgan^*, Tom Schrijvers, Wouter Swierstra

^*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

Abstract

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.)

Original language	English
Title of host publication	Advancing Research in Information and Communication Technology
Publisher	Springer
Pages	59-98
Number of pages	40
ISBN (Electronic)	978-3-030-81701-5
ISBN (Print)	978-3-030-81700-8
DOIs	https://doi.org/10.1007/978-3-030-81701-5_3
Publication status	Published - 2021

Publication series

Name	IFIP Advances in Information and Communication Technology
Volume	600
ISSN (Print)	1868-4238
ISSN (Electronic)	1868-422X

Keywords

Working groups
Algorithmic programming
Calculi

Access to Document

10.1007/978-3-030-81701-5_3

978-3-030-81701-5_3Final published version, 1.08 MBLicence: Taverne

Cite this

@inbook{df72aaeb709642cc9e6709d5782c2737,

title = "Algorithmics",

abstract = "Algorithmics is the study and practice of taking a high-level description of a program{\textquoteright}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{\textquoteright}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{\textquoteright}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{\textquoteright}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.)",

keywords = "Working groups, Algorithmic programming, Calculi",

author = "Richard Bird and Jeremy Gibbons and Ralf Hinze and Peter H{\"o}fner and Johan Jeuring and Lambert Meertens and Bernhard M{\"o}ller and Carroll Morgan and Tom Schrijvers and Wouter Swierstra",

year = "2021",

doi = "10.1007/978-3-030-81701-5_3",

language = "English",

isbn = "978-3-030-81700-8",

series = "IFIP Advances in Information and Communication Technology",

publisher = "Springer",

pages = "59--98",

booktitle = "Advancing Research in Information and Communication Technology",

address = "Germany",

}

TY - CHAP

T1 - Algorithmics

AU - Bird, Richard

AU - Gibbons, Jeremy

AU - Hinze, Ralf

AU - Höfner, Peter

AU - Jeuring, Johan

AU - Meertens, Lambert

AU - Möller, Bernhard

AU - Morgan, Carroll

AU - Schrijvers, Tom

AU - Swierstra, Wouter

PY - 2021

Y1 - 2021

N2 - 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.)

AB - 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.)

KW - Working groups

KW - Algorithmic programming

KW - Calculi

U2 - 10.1007/978-3-030-81701-5_3

DO - 10.1007/978-3-030-81701-5_3

M3 - Chapter

SN - 978-3-030-81700-8

T3 - IFIP Advances in Information and Communication Technology

SP - 59

EP - 98

BT - Advancing Research in Information and Communication Technology

PB - Springer

ER -

Algorithmics

Abstract

Publication series

Keywords

Access to Document

Fingerprint

Cite this