Programming and Interface Specification Language of JIVE : Specification and Design Rationale
This report describes the programming and interface specification language of the Java Interactive Verification Environment JIVE. The JIVE system is a prototype implementation of a logic-based programming-environment for an object-oriented programming language. Logic-based programming-environments are language-dependent software development tools that support formal specification and verification. We summarize the properties of an ideal programming language for the prototype and argue that Java is a good candidate. The design of the supported Java subset is discussed and a formal definition of the abstract syntax is presented. Program specifications are denoted in an interface specification language. This report discusses the design of the JIVE interface specification language and presents its abstract syntax. An example program illustrates the application of the programming and the interface specification language.
Nutzung und Vervielfältigung:
Alle Rechte vorbehalten