Logic programming semantics techniques and applications

Logic programming semantics techniques and applications

Weitere Versionen anzeigen (1)

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Baudinet, Marianne (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Stanford, Calif. 1989
Schriftenreihe:	Stanford University / Computer Science Department: Report STAN-CS 1249
Schlagworte:	Logic programming Programming languages (Electronic computers) > Semantics Prolog (Computer program language) Hochschulschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Temporal logic programming is complete and expressive
von: Baudinet, Marianne
Veröffentlicht: (1988)

Uniform abstraction, atomicity and contractions in the comparative semantics of Concurrent Prolog
von: Bakker, Jacobus W. de 1939-2012, et al.
Veröffentlicht: (1988)

Functional and logic programming languages
Veröffentlicht: (1998)

Logic programming Prolog and stream parallel languages
von: Newmarch, Jan D.
Veröffentlicht: (1990)

Programming with higher-order logic
von: Miller, Dale 1956-, et al.
Veröffentlicht: (2012)

Comparative semantics for a parallel contextual programming language
von: Jacquet, Jean-Marie, et al.
Veröffentlicht: (1990)

P-Prolog a parallel logic programming language
von: Yang, Rong
Veröffentlicht: (1987)

Proving termination properties of PROLOG programs a semantic approach
von: Baudinet, Marianne
Veröffentlicht: (1988)

The art of PROLOG advanced programming techniques
von: Sterling, Leon, et al.
Veröffentlicht: (2000)

Modular termination proofs for logic and pure Prolog programs
von: Apt, Krzysztof R. 1949-, et al.
Veröffentlicht: (1993)

Studies in pure Prolog termination
von: Apt, Krzysztof R. 1949-, et al.
Veröffentlicht: (1990)

Partial evaluation of Prolog programs and its application to meta programming
von: Takeuchi, Akikazu, et al.
Veröffentlicht: (1986)

The theory of interacting deductions and its application to operational semantics
von: Wilson, Andrew
Veröffentlicht: (1996)

Semantics of unbounded nondeterminism
von: Back, Ralph-Johan
Veröffentlicht: (1980)

Algebras for some input output semantics
von: Tarlecki, Andrzej
Veröffentlicht: (1980)

Operational semantics and polymorphic type inference
von: Tofte, Mads
Veröffentlicht: (1988)

An operational semantics of tasking and exception handling in Ada
von: Li, Wei 1943-
Veröffentlicht: (1982)

Epistemic semantics for fixed-point non-monotonic logics
von: Lin, Fangzhen, et al.
Veröffentlicht: (1990)

Foundations of logic programming
von: Lloyd, John W.
Veröffentlicht: (1987)

The definition of the control and environment structure of programming languages
von: Herriot, Robert George
Veröffentlicht: (1971)

Laws of programming a tutorial paper
Veröffentlicht: (1985)

Designing concurrency semantics
von: Bakker, Jacobus W. de 1939-2012
Veröffentlicht: (1989)

A model for I O in equational languages with don't care non-determinism
von: Walters, Humphrey R., et al.
Veröffentlicht: (1995)

ProQuel using Prolog to implement a deductive database system
von: Burse, Jan
Veröffentlicht: (1992)

A framework for incorporating abstraction mechanisms into the logic programming paradigm
von: Zachary, Joseph L.
Veröffentlicht: (1987)

Semantics of interference control
von: Tennent, Robert D.
Veröffentlicht: (1981)

A unified view of semantics
von: Majster, Mila Emilia
Veröffentlicht: (1979)

Temporal logics for abstracts semantics
von: Fisher, Michael D.
Veröffentlicht: (1987)

Semantics engineering with PLT Redex
von: Felleisen, Matthias, et al.
Veröffentlicht: (2009)

Coordination programming mechanism, models and semantics
Veröffentlicht: (1996)

Mathematical foundations of programming semantics
Veröffentlicht: (1997)

The semantics of Clear, a specification language
von: Burstall, Rod M. 1934-, et al.
Veröffentlicht: (1980)

Integration of relational knowledge bases and logic programming languages
Veröffentlicht: (1988)

Formal definition of programming languages with an application to the definition of ALGOL 60
von: Bakker, Jacobus W. de 1939-2012
Veröffentlicht: (1970)

Beginning micro-Prolog
von: Ennals, Richard 1951-
Veröffentlicht: (1983)

Function schemata
von: Critcher, Adrienne Pendery
Veröffentlicht: (1977)

Timed semantics tools for design and validation of language oriented architectures
von: Danelutto, Marco, et al.
Veröffentlicht: (1990)

Process algebra semantics of POOL
von: Vaandrager, Frits W.
Veröffentlicht: (1986)

Die Sprache GEDANKEN als Beitrag zur syntaktischen und semantischen Definition von Programmiersprachen
von: Görz, Günther 1947-
Veröffentlicht: (1972)

Automatic verification of programs with complex data structures
von: Suzuki, Norihisa
Veröffentlicht: (1980)