✦ LIBER ✦

Coalgebras and monads in the semantics of Java

✍ Scribed by Bart Jacobs; Erik Poll

Publisher: Elsevier Science
Year: 2003
Tongue: English
Weight: 225 KB
Volume: 291
Category: Article
ISSN: 0304-3975
DOI: 10.1016/s0304-3975(02)00366-3

No coin nor oath required. For personal study only.

✦ Synopsis

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 University of Nijmegen. It is shown how the monadic perspective gives rise to the relevant computational structure in Java (composition, extension and repetition), and how the coalgebraic perspective o ers an associated program logic (with invariants, bisimulations, and Hoare logics) for reasoning about the computational structure provided by the monad.

📜 SIMILAR VOLUMES

A note on the number of monadic quantifi

A note on the number of monadic quantifiers in monadic ∑11

✍ Martin Otto 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 275 KB

Adjoint monads and an isomorphism of the

Adjoint monads and an isomorphism of the Kleisli categories

✍ Mark Kleiner 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 189 KB

Groups of coalgebra morphisms and the Za

Groups of coalgebra morphisms and the Zassenhaus formulae

✍ Hans Scheerer; Klaus Schuch 📂 Article 📅 1990 🏛 Springer 🌐 English ⚖ 601 KB

Working in the setting of graded algebra we study the groups of coalgebra morphisms from connected cocommutative coalgebras to connected Hopf algebras. We show that, under certain conditions, these groups have presentations closely related to the Zassenhaus formulae. Furthermore, a new proof of thes

The semantics of anxiety

✍ P. Pichot 📂 Article 📅 1999 🏛 John Wiley and Sons 🌐 English ⚖ 157 KB 👁 2 views

The semantics of the basic psychiatric technical terms related to the anxiety disorders, anxiety, fear and panic, raises complex problems of translation, especially between the English, French and German languages. Some of the speci®c diculties and their consequences on the international understandi

Hochschild Cohomology and the Coradical

Hochschild Cohomology and the Coradical Filtration of Pointed Coalgebras: Applications

✍ Dragoş Ştefan; Freddy Van Oystaeyen 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 181 KB

In this paper we show that there is a close connection between the coradical filtration of a pointed coalgebra and the Hochschild cohomology of that coalgebra with coefficients in some one-dimensional bicomodules. As an application, for a given prime number p and an algebraically closed field k of c

Partition and revision: The semantics of

Partition and revision: The semantics of counterfactuals

✍ Angelika Kratzer 📂 Article 📅 1981 🏛 Springer Netherlands 🌐 English ⚖ 817 KB