Introduction to Object-Oriented Mixed Prototyping with Algebraic Specifications

Automatic implementations of abstract data types (ADT) from algebraic specifications are currently all done in either functional, logical or purely imperative languages. In this paper we show how object-oriented languages naturally facilitate this job, and why they provide better flexibility in the process of progressively replacing the automatically generated code by more efficient hand-written code, a process we call object-oriented mixed prototyping (OOMP).

    Keywords: Conform


    • LGL-REPORT-1995-003

    Record created on 2005-09-20, modified on 2016-08-08

Related material