Algebraic semantics of imperative programs

Algebraic semantics of imperative programs1996
Details
- First published
- 1996
- OL Work ID
- OL2977895W
Subjects
Programming languages (Electronic computers)SemanticsAlgebraSémantique algébriqueOBJFunktionale SemantikProgrammeren (computers)Programmation logiqueProgramme impératifAlgèbreAlgebraïsche taalkundeLangages de programmationProgrammation (mathématiques)SemantiekSémantiqueComputer science