Formal semantics of LISP with applications to program correctness

Formal semantics the essential readings
Veröffentlicht: (2008)

LISP
von: Winston, Patrick Henry, et al.
Veröffentlicht: (1981)

LISP
von: Winston, Patrick Henry, et al.
Veröffentlicht: (1997)

LISP
von: Winston, Patrick Henry, et al.
Veröffentlicht: (1984)

LISP
von: Winston, Patrick Henry, et al.
Veröffentlicht: (1993)

LISP
von: Winston, Patrick Henry, et al.
Veröffentlicht: (1984)

LISP
von: Pratt, Vaughan
Veröffentlicht: (1977)

LISP
von: Winston, Patrick Henry, et al.
Veröffentlicht: (1983)

LISP
von: Winston, Patrick Henry, et al.
Veröffentlicht: (1987)

Formal semantics of Asbru V2.12
Veröffentlicht: (2006)

Formal Semantics of programming languages
Veröffentlicht: (1972)

Formal semantics of Flat GHC
von: Ueda, Kazunori, et al.
Veröffentlicht: (1989)

Formal semantics of SQL queries
von: Karge, Ulrich, et al.
Veröffentlicht: (1989)

Formal Semantics of natural language
Veröffentlicht: (1975)

LISP Programmieren in Common Lisp ; mit 18 Tabellen
von: Brooks, Rodney 1954-
Veröffentlicht: (1987)

Elements of formal semantics an introduction to logic for students of language
von: Martin, John P.

Formal semantics for SDL definition and implementation
von: Prinz, Andreas 1963-
Veröffentlicht: (2001)

Studies in formal semantics Intensionality, Temporality, Negation
Veröffentlicht: (1978)

Informal lectures on formal semantics
von: Bach, Emmon
Veröffentlicht: (1989)

Formal Languages and intensional semantics
von: Lindstrom, Sten Carl
Veröffentlicht: (1981)

Informal lectures on formal semantics
von: Bach, Emmon W.
Veröffentlicht: (1989)

LISP a portable implementation
von: Hekmatpour, Sharam
Veröffentlicht: (1989)

LISP an interactive approach
von: Shapiro, Stuart C.
Veröffentlicht: (1986)

LISP Programming and proving
von: McCarthy, John 1927-2011, et al.
Veröffentlicht: (1978)

LISP e. funktionaler Kern
von: Eggers, Bleicke
Veröffentlicht: (1982)

Learning LISP
Veröffentlicht: (1984)

Common lisp
von: Hennessey, Wade L.
Veröffentlicht: (1989)

Essential LISP
von: Anderson, John R. 1947-, et al.
Veröffentlicht: (1987)

Common Lisp
von: Hennessey, Wade L.
Veröffentlicht: (1989)

Terminalbuch LISP
von: Hughes, Sheila
Veröffentlicht: (1987)

LISP pointers
Veröffentlicht: (1987)

Varieties of formal semantics proceedings of the 4. Amsterdam Colloquium, Sept. 1982
Veröffentlicht: (1984)

LISP the language of artificial intelligence
von: Holtz, Frederick
Veröffentlicht: (1985)

LISP the language of artificial intelligence
von: Holtz, Frederick
Veröffentlicht: (1985)

R-Lisp eine erweiterte relationale Algebra in Lisp
von: Schütz, Heribert
Veröffentlicht: (1990)

Elements of formal semantics an introduction to the mathematical theory of meaning in natural language
von: Winter, Yoad 1966-
Veröffentlicht: (2016)