Voorwoord; Inhoudsopgave; 1. Inleiding; 2. PGA en instructierijen; 3. Gedragsexpressie voor Programma's met Inactie; 4. Programma's met Input/Output; 5. Programmeertalen: Projecties en Inbeddingen; 6. Moleculaire Dynamica; 7. Expressiviteit en Interpretatie; 8. Nawoord; Referenties; Index
Summary
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
Bibliography
Includes bibliographical references (page 94) and index
