登入選單
返回Google圖書搜尋
Programma-Algebra, een inleiding tot de Programmatuur
Alban PonseInge Bethke
出版Amsterdam University Press, 2003-08-15
主題Computers / GeneralComputers / Languages / General
ISBN905629279X9789056292799
URLhttp://books.google.com.hk/books?id=IqPFvyIIaXoC&hl=&source=gbs_api
EBookSAMPLE
註釋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.