Coalgebras and monads in the semantics of Java

This publication has 13 references indexed in Scilit:

• A case study in class library verification: Java’s vector class
  International Journal on Software Tools for Technology Transfer, 2001
• Specifying coalgebras with modal logic
  Theoretical Computer Science, 2001
• Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study
  RAIRO - Theoretical Informatics and Applications, 2001
• Specification of the Javacard API in JML
  2000
• Ann. pure appl. logic
  Annals of Pure and Applied Logic, 1999
• Reasoning about Java classes
  1998
• Formal verification for fault-tolerant architectures: prolegomena to the design of PVS
  IEEE Transactions on Software Engineering, 1995
• Notions of computation and monads
  Information and Computation, 1991
• Correct and Robust Programs
  IEEE Transactions on Software Engineering, 1984
• Strong functors and monoidal monads
  Archiv der Mathematik, 1972