✦ LIBER ✦

Consistent and complementary formal theories of the semantics of programming languages

✍ Scribed by C. A. R. Hoare; P. E. Lauer

Publisher: Springer-Verlag
Year: 1974
Tongue: English
Weight: 907 KB
Volume: 3
Category: Article
ISSN: 0001-5903
DOI: 10.1007/bf00264034

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On the index of positive programmed form

On the index of positive programmed formal languages

✍ Guozhu Dong 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 435 KB

The formalization of some context condit

The formalization of some context conditions of programming languages

✍ I.L. Bratchikov; Kh.I. Toirikh 📂 Article 📅 1974 🏛 Elsevier Science ⚖ 936 KB

Formal properties of natural language an

Formal properties of natural language and linguistic theories

✍ C. Culy 📂 Article 📅 1996 🏛 Springer Netherlands 🌐 English ⚖ 920 KB

General predicate transformer and the se

General predicate transformer and the semantics of a programming language with go to statement

✍ Jifeng He 📂 Article 📅 1983 🏛 Springer-Verlag 🌐 English ⚖ 895 KB

Simulation semantics can revitalize the

Simulation semantics can revitalize the formalization of meaning:: Reply to comments on “Embodied language, best-fit analysis, and formal compositionality”

✍ Jerome Feldman 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 78 KB

A query language for discovering semanti

A query language for discovering semantic associations, Part I: Approach and formal definition of query primitives

✍ Timo Niemi; Janne Jämsen 📂 Article 📅 2007 🏛 John Wiley and Sons 🌐 English ⚖ 270 KB 👁 1 views

## Abstract In contemporary query languages, the user is responsible for navigation among semantically related data. Because of the huge amount of data and the complex structural relationships among data in modern applications, it is unrealistic to suppose that the user could know completely the co