Algorithmics

  • 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 triedAlgorithmics 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.show moreshow less

This document is embargoed until:

2023/08/04

Export metadata

Statistics

Number of document requests

Additional Services

Share in Twitter Search Google Scholar
Metadaten
Author:Richard Bird, Jeremy Gibbons, Ralf Hinze, Peter Höfner, Johan Jeuring, Lambert Meertens, Bernhard MöllerGND, Carroll Morgan, Tom Schrijvers, Wouter Swierstra, Nicolas Wu
URN:urn:nbn:de:bvb:384-opus4-911410
Frontdoor URLhttps://opus.bibliothek.uni-augsburg.de/opus4/91141
ISSN:1868-4238OPAC
ISSN:1868-422XOPAC
Parent Title (English):Advancing research in information and communication technology: IFIP's exciting first 60+ years, views from the technical committees and working groups
Publisher:Springer
Place of publication:Cham
Editor:Michael Goedicke, Erich Neuhold, Kai Rannenberg
Type:Part of a Book
Language:English
Year of first Publication:2021
Embargo Date:2023/08/04
Publishing Institution:Universität Augsburg
Release Date:2021/12/06
First Page:59
Last Page:98
Series:IFIP Advances in Information and Communication Technology ; 600
DOI:https://doi.org/10.1007/978-3-030-81701-5_3
Institutes:Fakultät für Angewandte Informatik
Fakultät für Angewandte Informatik / Institut für Informatik
Fakultät für Angewandte Informatik / Institut für Informatik / Professur für Programmiermethodik und Multimediale Informationssysteme
Dewey Decimal Classification:0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik
Licence (German):Deutsches Urheberrecht