1997•Unpublished venueRequires access

Programming and Interface Specification Language of JIVE: Specification and Design Rationale

Péter Müller, Jörg Meyer, Arnd Poetzsch‐Heffter

Abstract

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 syntax. An example program illustrates the application of the programming and the interface

About this research paper

What this paper is about

Why it matters

OpenAlex reports 7 citations for this work. Citation counts describe recorded attention and do not establish research quality.

Key contribution

A contribution statement is not available in the OpenAlex record.

Method / approach

Method details are not available in the OpenAlex metadata.

Main findings

Findings are not separately available in the OpenAlex metadata.

Limitations

Limitations are not available in the OpenAlex metadata.

Applications

Application details are not available in the OpenAlex metadata.

Available abstract

Key concepts: Programming language, Computer science, Interface description language, Programming language specification, Java Modeling Language, Specification language, Language Of Temporal Ordering Specification, First-generation programming language