The Java Modeling Language (JML) is a language for specifying the behavior of Java source code. However, it can describe the protocols of Java classes and interfaces only implicitly. Typestate protocol specification is a more direct, lightweight and ...

Formal semantic descriptions have many potential pragmatic advantages over informal descriptions. Unfortunately, however, the major frameworks for formal semantics do not support component-based description of programming languages. Different languages ...