✦ LIBER ✦

Unification of Four Versions of Program Semantics

✍ Scribed by Ingrid Rewitzky; Chris Brink

Publisher: Springer
Year: 1998
Tongue: English
Weight: 212 KB
Volume: 10
Category: Article
ISSN: 0934-5043
DOI: 10.1007/pl00003923

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Concerning the unification of programmin

Concerning the unification of programming languages

✍ A. S. Markov 📂 Article 📅 1976 🏛 Springer US 🌐 English ⚖ 751 KB

Semantic Translation of Programming Lang

Semantic Translation of Programming Languages

✍ Andrzej Skowron 📂 Article 📅 1971 🏛 John Wiley and Sons 🌐 English ⚖ 312 KB

Probabilistic semantics of terminating p

Probabilistic semantics of terminating programs

✍ E.A. Kaz'mina 📂 Article 📅 1988 🏛 Elsevier Science ⚖ 472 KB

A program for the semantics of science

✍ Mario Bunge 📂 Article 📅 1972 🏛 Springer Netherlands 🌐 English ⚖ 691 KB

Four semantic layers of common nouns

✍ Beihai Zhou; Yi Mao 📂 Article 📅 2009 🏛 Springer Netherlands 🌐 English ⚖ 198 KB

The semantics of constraint logic progra

The semantics of constraint logic programs

✍ Joxan Jaffar; Michael Maher; Kim Marriott; Peter Stuckey 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 350 KB

The Constraint Logic Programming (CLP) Scheme was introduced by Jaar and Lassez. The scheme gave a formal framework, based on constraints, for the basic operational, logical and algebraic semantics of an extended class of logic programs. This paper presents for the ®rst time the semantic foundations