Next: , Previous: (dir), Up: (dir)

BML Reference Manual

Revision: 147
Date: 2009-08-07

Authors: Jacek Chrzaszcz, Marieke Huisman, Aleksy Schubert, Joseph Kiniry, Mariela Pavlova, Erik Poll

The Bytecode Modeling Language (BML) is a notation for formally specifying the behaviour and interfaces of Java classes and methods at bytecode level. It is strongly inspired by the definition of the Java Modeling Language (JML), that specifies Java at source code level. The purpose of this manual is to precisely define BML's syntax and semantics.

Copyright © INRIA
Copyright © University of Warsaw

INRIA Sophia Antipolis 2004, route des Lucioles 06902 Sophia Antipolis France

University of Warsaw, Krakowskie Przedmiescie 26/28, 00-927 Warsaw, Poland

Permission is granted for you to make copies of this manual for educational and scholarly purposes, and for commercial use in specifying software, but the copies may not be sold or otherwise used for direct commercial advantage; this permission is granted provided that this copyright and permission notice is preserved on all copies. All other rights reserved.

Table of Contents