Programma-Algebra

In dit boek wordt <strong>Programma-Algebra</strong> (PGA) geïntroduceerd als een algebra die een (extreem) eenvoudige vorm van programmeren karakteriseert. Ver... » 

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.

Dr. Inge Bethke en Dr. Alban Ponse zijn werkzaam als docent bij de afdeling Programmatuur van het Informatica Instituut van de Universiteit van Amsterdam (www.science.uva.nl/research/prog/). «