report
Introduction to Object-Oriented Mixed Prototyping with Algebraic Specifications
Hulaas, Jarle
1995
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).
Loading...
Name
hulaas-Intro-OOMP.ps
Access type
openaccess
Size
364.57 KB
Format
Postscript
Checksum (MD5)
49fa5b2dd51ba3d5b0d6b9dd675dd737