QR Code

ALGEBRAIC APPROACHES TO PROGRAM SEMANTICS /

Saved in:

Bibliographic Details
Main Author:	Manes, Ernest G.
Other Authors:	Arbib, Michael A.
Format:	Book
Language:	English
Published:	Berlin : Springer, 1986
Online Access:
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Algebraic semantics /
by: Guessarian, Iréna
Published: (1981)

A structural approach to operational semantics /
by: Plotkin, Gordon D.
Published: (1981)

Formal semantics of programming languages /
Published: (1972)

Mathematical foundations of programming semantics : international conference ; Manhattan, Kansas, April 11 - 12, 1985 /
by: Abdali, S. Kamal
Published: (1986)

On urban land information systems. A semantic approach to analysis and design /
by: Makkonen, Kirsi
Published: (1984)

Computer semantics : studies of algorithms, processors and languages /
by: Lee, John A. N.
Published: (1972)

Journal of Literary Semantics : An International Review
Published: (1972)

Semantics, around and beyond : an introductory course /
by: Kavka, Stanislav J. 1946-
Published: (2015)

Computational semantics : an introduction to artificial intelligence and natural language comprehension /
Published: (1975)

Applied semantic web technologies /
Published: (2012)

Metadata for semantic and social applications
by: Greenberg, Jane, et al.
Published: (2008)

Retrieval from semantic memory /
by: Noordman-Vonk, Wietske
Published: (1979)

Program correctness over abstract data types, with error-state semantics /
by: Tucker, John V.
Published: (1988)

ALGEBRAIC AND LOGIC PROGRAMMING /
by: Bergstra, J. A.
Published: (1988)

Semantics of data types : Internat. symp., Sophia-Antipolis, France, /
by: Burstall, R.
Published: (1984)

Semantics, Pragmatics and Meaning Revisited The Case of Conditionals /
by: Sztencel, Magdalena
Published: (2018)

The logico-algebraic approach to quantum mechanics.
Published: (1975)

An algebraic approach to non-classical logics.
by: Rasiowa, Helena
Published: (1974)

Semantic data modeling in relational environments /
by: Bekke, Johannes Hendrikus ter
Published: (1991)

Semantics. Foundations and applications : Proceedings, Beekbergen, The Netherlands, June 1 - 4, 1992 /
by: Back, R. J. R.
Published: (1993)

Semantics of concurrent computation : proceedings of the international symposium, Evian, July 2-4. 1979, France /
by: Pnueli, Amir
Published: (1979)

The Semantics of Gradability, Vagueness, and Scale Structure Experimental Perspectives /
Published: (2018)

A Lexical Semantic Study of Chinese Opposites
by: Ding, Jing
Published: (2018)

Modeling with Rules Using Semantic Knowledge Engineering
by: Nalepa, Grzegorz J.
Published: (2018)

Jaakko Hintikka on Knowledge and Game-Theoretical Semantics
Published: (2018)

Pronouns in Embedded Contexts at the Syntax-Semantics Interface
Published: (2018)

Bridging the Semantic Gap in Image and Video Analysis
Published: (2018)

A programming approach to computability /
by: Kfoury, A. J.
Published: (1982)

A structured approach to programming /
by: Hughes, Joan K., et al.
Published: (1977)

Algebraic and logic programming : Proceedings, Aachen, Germany, Sept. 25 - 27, 1996 /
by: Pierro, Alessandra Di
Published: (1996)

The ASCIS data flow graph. Semantics and textual format /
by: Eijndhoven, J. T. J. van
Published: (1991)

On formal semantics of object systems with data and object attributes /
by: Parnitzke, Daniel
Published: (2001)

Boundaries Crossed, at the Interfaces of Morphosyntax, Phonology, Pragmatics and Semantics
Published: (2018)

Engineering mathematics. A programmed approach /
by: Evans, C. W.
Published: (1997)

Fortran programming. A spiral approach /
by: Kreitzberg, Charles B.
Published: (1975)

Inorganic nomenclature. A programmed approach /
by: Lingren, Wesley E.
Published: (1980)

Computers and programming a neoclassical approach /
by: Olivieri, Peter, et al.
Published: (1975)

The implementation of a system description language and its semantic functions /
by: Reeuwijk, Cornelis van
Published: (1991)

Semantic integration of heterogeneous formal specifications via transformation systems /
by: Grosse-Rhode, Martin
Published: (2001)

Spreading Activation, Lexical Priming and the Semantic Web Early Psycholinguistic Theories, Corpus Linguistics and AI Applications /
by: Pace-Sigge, Michael
Published: (2018)