Repository logo

Infoscience

  • English
  • French
Log In
Logo EPFL, École polytechnique fédérale de Lausanne

Infoscience

  • English
  • French
Log In
  1. Home
  2. Academic and Research Output
  3. Reports, Documentation, and Standards
  4. Introduction to Object-Oriented Mixed Prototyping with Algebraic Specifications
 
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).

  • Files
  • Details
  • Metrics
Loading...
Thumbnail Image
Name

hulaas-Intro-OOMP.ps

Access type

openaccess

Size

364.57 KB

Format

Postscript

Checksum (MD5)

49fa5b2dd51ba3d5b0d6b9dd675dd737

Logo EPFL, École polytechnique fédérale de Lausanne
  • Contact
  • infoscience@epfl.ch

  • Follow us on Facebook
  • Follow us on Instagram
  • Follow us on LinkedIn
  • Follow us on X
  • Follow us on Youtube
AccessibilityLegal noticePrivacy policyCookie settingsEnd User AgreementGet helpFeedback

Infoscience is a service managed and provided by the Library and IT Services of EPFL. © EPFL, tous droits réservés