✦ LIBER ✦

VDM semantics of programming languages: combinators and monads

✍ Scribed by Peter D. Mosses

Publisher: Springer
Year: 2010
Tongue: English
Weight: 326 KB
Volume: 23
Category: Article
ISSN: 0934-5043
DOI: 10.1007/s00165-009-0145-4

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Semantic Translation of Programming Lang

Semantic Translation of Programming Languages

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

Execution traces and programming-languag

Execution traces and programming-language semantics

✍ R. G. Hamlet 📂 Article 📅 1977 🏛 Springer 🌐 English ⚖ 926 KB

Consistent and complementary formal theo

Consistent and complementary formal theories of the semantics of programming languages

✍ C. A. R. Hoare; P. E. Lauer 📂 Article 📅 1974 🏛 Springer-Verlag 🌐 English ⚖ 907 KB

Coalgebras and monads in the semantics o

Coalgebras and monads in the semantics of Java

✍ Bart Jacobs; Erik Poll 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 225 KB

This paper describes the basic structures in the denotational and axiomatic semantics of sequential Java, both from a monadic and a coalgebraic perspective. This semantics is an abstraction of the one used for the veriÿcation of (sequential) Java programs using proof tools in the LOOP project at the

Syntax and semantics of formal languages

✍ A. A. Letichevskii 📂 Article 📅 1968 🏛 Springer US 🌐 English ⚖ 946 KB

Specification of Logic Programming Langu

Specification of Logic Programming Languages from Reusable Semantic Building Blocks

✍ J.E. Labra Gayo; J.M. Cueva Lovelle; M.C. Luengo Díez; A. Cernuda del Río 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 268 KB