TY  - CHAP
A1  - Bird, Richard
A1  - Gibbons, Jeremy
A1  - Hinze, Ralf
A1  - Höfner, Peter
A1  - Jeuring, Johan
A1  - Meertens, Lambert
A1  - Möller, Bernhard
A1  - Morgan, Carroll
A1  - Schrijvers, Tom
A1  - Swierstra, Wouter
A1  - Wu, Nicolas
A2  - Goedicke, Michael
A2  - Neuhold, Erich
A2  - Rannenberg, Kai
T1  - Algorithmics
T2  - Advancing research in information and communication technology: IFIP's exciting first 60+ years, views from the technical committees and working groups
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.
Y1  - 2021
UR  - https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/91141
UR  - https://nbn-resolving.org/urn:nbn:de:bvb:384-opus4-911410
SN  - 1868-4238
SN  - 1868-422X
SP  - 59
EP  - 98
PB  - Springer
CY  - Cham
ER  -