Title: Algebraic semantics of imperative programs
First published: 1996
Subjects: Programming languages (Electronic computers), Semantics, Algebra, Sémantique algébrique, OBJ, Funktionale Semantik, Programmeren (computers), Programmation logique, Programme impératif, Algèbre, Algebraïsche taalkunde, Langages de programmation, Programmation (mathématiques), Semantiek, Sémantique, Computer science
LC classification: QA76.7 .G62 1996