Cover Image

Algebraic semantics of imperative programs /

Algebraic Semantics of Imperative Programs presents a self-contained and novel "executable" introduction to formal reasoning about imperative programs. The authors' primary goal is to improve programming ability by improving intuition about what programs mean and how they run. The sem...

Full description

Bibliographic Details
Main Author:	Goguen, Joseph
Other Authors:	Malcolm, Grant
Format:	eBook
Language:	English
Published:	Cambridge, Mass. : MIT Press, ©1996.
Series:	Foundations of computing
Subjects:	Programming languages (Electronic computers) > Semantics. Algebra. COMPUTER SCIENCE/Theoretical Computer Science Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

Algebraic approaches to program semantics /
by: Manes, Ernest G., 1943-
Published: (1986)

Algebraic methods in semantics /
Published: (1985)

Algebraic theory of processes /
by: Hennessy, Matthew
Published: (1988)

The formal semantics of programming languages : an introduction /
by: Winskel, G. (Glynn)
Published: (1993)

Initial computability, algebraic specifications, and partial algebras /
by: Reichel, Horst
Published: (1987)

Computational semantics with functional programming /
by: Eijck, J. van (Jan)
Published: (2010)

Semantics of sequential and parallel programs /
by: Best, Eike, 1951-
Published: (1996)

Semantics of programming languages /
by: Tennent, R. D., 1944-
Published: (1991)

The semantics of programming languages : an elementary introduction using structural operational semantics /
by: Hennessy, Matthew
Published: (1990)

Semantics of programming languages : structures and techniques /
by: Gunter, Carl A.
Published: (1992)

Stochastically-based semantic analysis /
by: Minker, Wolfgang
Published: (1999)

Concepts and semantics of programming languages. a semantical approach with OCaml and Python /
by: Hardin, Therese
Published: (2021)

The formal semantics of programming languages : an introduction /
by: Winskel, G. (Glynn)
Published: (1993)

Denotational semantics : the Scott-Strachey approach to programming language theory /
by: Stoy, Joseph
Published: (1977)

Semantics for concurrency : proceedings of the International BCS-FACS Workshop /
Published: (1990)

Synonymy and semantic classification /
by: Sparck Jones, Karen, 1935-2007
Published: (1986)

A theory of programming language semantics /
by: Milne, Robert, 1948-
Published: (1976)

Mathematical foundations of programming language semantics : 3rd workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987 : proceedings /
Published: (1988)

Journal on data semantics I /
Published: (2003)

Comparative metric semantics of programming languages : nondeterminism and recursion /
by: Breugel, Franck van, 1966-
Published: (1998)

Action semantics /
by: Mosses, Peter D.
Published: (1992)

Formal semantics and pragmatics for natural language querying /
by: Clifford, James
Published: (1990)

Mathematical foundations of programming semantics : international conference, Manhattan, Kansas, April 11-12, 1985 : proceedings /
Published: (1986)

Journal on data semantics VIII /
Published: (2007)

Full abstraction and semantic equivalence /
by: Mulmuley, Ketan
Published: (1987)

Data semantics (DS-1) : proceedings of the IFIP WG 2.6 Working Conference on Data Semantics (DS-1), Hasselt, Belgium, 7-11 January, 1985 /
Published: (1986)

Mathematical foundations of programming semantics : 7th international conference, Pittsburgh, PA, USA, March 25-28, 1991 : proceedings /
Published: (1992)

Mathematical foundations of programming semantics : 9th international conference, New Orleans, LA, USA, April 7-10, 1993 : proceedings /
Published: (1994)

Semantics : foundations and applications : REX Workshop, Beekbergen, the Netherlands, June 1-4, 1992 : proceedings /
Published: (1993)

Journal on data semantics IX /
Published: (2007)

Domain-theoretic foundations of functional programming /
by: Streicher, Thomas, 1958-
Published: (2006)

Semantics engineering with PLT Redex /
by: Felleisen, Matthias
Published: (2009)

Semantic techniques in quantum computation /
Published: (2010)

Semantics of specification languages (SoSL) : proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, the Netherlands, 25-27 October 1993 /
Published: (1994)

Semantics of systems of concurrent processes : LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, proceedings /
Published: (1990)

Journal on data semantics VI : Special issue on emergent semantics /
Published: (2006)

Mathematical aspects of logic programming semantics /
by: Hitzler, Pascal
Published: (2011)

Concepts and semantics of programming languages 2 : modular and object-oriented constructs with Ocaml, Python, C++, Ada and Java /
by: Hardin, Thérèse, et al.
Published: (2021)

Journal on data semantics V /
Published: (2006)

Journal on data semantics VII /
Published: (2006)