𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Formal Semantics of Java Expressions and Statements

✍ Scribed by A. V. Zamulin

Book ID
111553734
Publisher
SP MAIK Nauka/Interperiodica
Year
2003
Tongue
English
Weight
108 KB
Volume
29
Category
Article
ISSN
0361-7688

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

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