Algebraic semantics of imperative programs

Name: Algebraic semantics of imperative programs
Author: Joseph Goguen

by Joseph Goguen · 1996

Cover of Algebraic semantics of imperative programs

No description available.

Programming languages (Electronic computers)SemanticsAlgebraSémantique algébriqueOBJFunktionale SemantikProgrammeren (computers)Programmation logiqueProgramme impératifAlgèbreAlgebraïsche taalkundeLangages de programmation