Algebraic semantics of imperative programs

Algebraic semantics of imperative programs

Weitere Versionen anzeigen (2)

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Goguen, Joseph 1941-2006 (VerfasserIn), Malcolm, Grant (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Cambridge, Mass. [u.a.] MIT Press 1996
Schriftenreihe:	Foundations of computing
Schlagworte:	Algebraïsche taalkunde Algèbre Langages de programmation - Sémantique Programmeren (computers) Semantiek Semantik Algebra Programming languages (Electronic computers) > Semantics Algorithmische Programmierung
Online-Zugang:	Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Algebraic semantics of imperative programs
von: Goguen, Joseph 1941-2006
Veröffentlicht: (1996)

Algebraic approaches to program semantics
von: Manes, Ernest G. 1943-, et al.
Veröffentlicht: (1986)

Algebraic approaches to program semantics
von: Manes, Ernest G. 1943-, et al.
Veröffentlicht: (1986)

Semantics
von: Saeed, John Ibrahim
Veröffentlicht: (1997)

Understanding semantics
von: Löbner, Sebastian 1949-
Veröffentlicht: (2002)

Linguistic semantics an introduction
von: Lyons, John 1932-2020
Veröffentlicht: (1995)

Linguistic semantics an introduction
von: Lyons, John 1932-2020
Veröffentlicht: (2012)

Semantics an introduction to non-lexical aspects of meaning
von: Bennett, Paul 1950-
Veröffentlicht: (2002)

Mathematical foundations of programming semantics 9th International Conference, New Orleans, LA, USA, April 7 - 10, 1993 ; proceedings
Veröffentlicht: (1994)

Semantics
von: George, Frank H.
Veröffentlicht: (1964)

Semantics a bibliography, 1979-1985
von: Gordon, W. Terrence
Veröffentlicht: (1987)

Complementary definitions of programming language semantics
von: Donahue, James E.
Veröffentlicht: (1976)

Semantics a bibliography, 1986 - 1991
von: Gordon, W. Terrence
Veröffentlicht: (1992)

Algebraic methods in semantics
Veröffentlicht: (1985)

Algebraic methods in semantics
Veröffentlicht: (1985)

Action semantics
von: Mosses, Peter D. 1948-
Veröffentlicht: (1992)

Predicate calculus and program semantics
von: Dijkstra, Edsger W. 1930-2002, et al.
Veröffentlicht: (1990)

Predicate calculus and program semantics
von: Dijkstra, Edsger W. 1930-2002, et al.
Veröffentlicht: (1990)

Clefs pour la semantique
von: Mounin, Georges 1910-1993
Veröffentlicht: (1972)

Dynamic conceptual semantics a logico-philosophical investigation into concept formation and understanding
von: Bartsch, Renate
Veröffentlicht: (1998)

Semantics an introduction to meaning in language
von: Cann, Ronnie 1954-, et al.
Veröffentlicht: (2009)

Language, meaning and context
von: Lyons, John 1932-2020
Veröffentlicht: (1981)

Language, meaning and context
von: Lyons, John 1932-2020
Veröffentlicht: (1981)

Meaning in language
von: Alexander, Hubert G.
Veröffentlicht: (1969)

Denotational semantics a methodology for language development
von: Schmidt, David A.
Veröffentlicht: (1988)

Flexibility principles in boolean semantics the interpretation of coordination, plurality, and scope in natural language
von: Winter, Yoad 1966-
Veröffentlicht: (2001)

Semantics
Veröffentlicht: (2002)

Semantik ein internationales Handbuch der zeitgenössischen Forschung = Semantics
Veröffentlicht: (1991)

Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation PEPM '97 ; Amsterdam, The Netherlands June 12 - 13, 1997
Veröffentlicht: (1997)

La sémantique
von: Tamba-Mecz, Irène
Veröffentlicht: (1988)

La sémantique
von: Nyckees, Vincent
Veröffentlicht: (1998)

Foundations of intensional semantics
von: Fox, Chris 1965-, et al.
Veröffentlicht: (2005)

A practical introduction to denotational semantics
von: Allison, Lloyd
Veröffentlicht: (1986)

Semantics in Acquisition
Veröffentlicht: (2006)

Semantics and common sense
von: Salomon, Louis B.
Veröffentlicht: (1966)

Semantics of science
von: Harris, Roy
Veröffentlicht: (2005)

Programs, recursion and unbounded choice predicate-transformation semantics and transformation rules
von: Hesselink, Wim H.
Veröffentlicht: (1992)

Two-dimensional semantics
Veröffentlicht: (2006)

Elements of formal semantics an introduction to logic for students of language
von: Martin, John N.
Veröffentlicht: (1987)

Semantics an introduction to the science of meaning
von: Ullmann, Stephen 1914-1976
Veröffentlicht: (1967)