Programma-Algebra, een inleiding tot de Programmatuur

Front Cover
Amsterdam University Press, Aug 15, 2003 - 96 pages
0 Reviews
In dit boek wordt Programma-Algebra (PGA) geïntroduceerd als een algebra die een (extreem) eenvoudige vorm van programmeren karakteriseert. Vervolgens wordt PGA voorzien van een semantiek in termen van gedragsexpressies. PGA heeft één parameter, namelijk een verzameling basisinstructies (of ‘acties’ in termen van gedrag). Deze simpele aanpak geeft aanleiding tot een kleine hiërarchie van sequentiële, imperatieve programmeertalen.

Het leuke van PGA is dat het een kader biedt om de elementaire vraag wat is een programma te beantwoorden door middel van een eenvoudige en algemene constructie. PGA en uitbreidingen hiervan (in dit boek lang niet allemaal besproken) zijn geschikt om allerlei vormen van sequentieel programmeren te modelleren, van assembly languages tot Turingmachines. Programma-algebra is hiermee bij uitstek geschikt als vertrekpunt voor het onderwijs in de programmatuur en de software engineering.
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Inleiding
9
Gedragsexpressies voor Programmas met Inactie
25
Programmas met InputOutput
35
Projecties en Inbeddingen
43
Moleculaire Dynamica
61
Expressiviteit en Interpretatie
81
Nawoord
93
Copyright

Other editions - View all

Common terms and phrases

Bibliographic information