scientific article
From MaRDI portal
Publication:3998221
zbMath0719.68012MaRDI QIDQ3998221
Publication date: 23 January 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
object-oriented languagesEiffelsoftware engineering techniques\textit{Object-oriented software construction}\textit{Programming by contract}
Theory of programming languages (68N15) Research exposition (monographs, survey articles) pertaining to computer science (68-02) General topics in the theory of software (68N01) Theory of software (68N99)
Related Items (24)
Reasoning about dynamically evolving process structures ⋮ Routing and scheduling in a flexible job shop by tabu search ⋮ Denotational semantics of a simple model of Eiffel ⋮ A temporal logic-based approach for the description of object behavior evolution ⋮ Specification and verification of object-oriented programs using supertype abstraction ⋮ On simulation, subtyping and substitutability in sequential object systems ⋮ OSIPE - a tool for scientific programming in FORTRAN ⋮ MULTIMEDIA ENVIRONMENTS: DESIGNS FOR SIMULATION ⋮ Integration of parametric and ``ad hoc second order polymorphism in a calculus with subtyping ⋮ On the equivalence of upward and downward inheritance reasoners ⋮ Seamless design: impedance mismatch revisited ⋮ Issues in the design of a parallel object-oriented language ⋮ JCML: A specification language for the runtime verification of Java card programs ⋮ An environment for DEVS-based multiformalism simulation in common lisp/CLOS ⋮ COTS selection using fuzzy interactive approach ⋮ Highly interactive computational steering for coupled 3D flow problems utilizing multiple GPUs ⋮ Operations on records ⋮ JMLUnit: The Next Generation ⋮ Denotational semantics of an object-oriented programming language with explicit wrappers ⋮ Eiffel ⋮ Inherited extension of many-sorted theories ⋮ PROCOL. A concurrent object-oriented language with protocols delegation and constraints ⋮ A paradigmatic object-oriented programming language: Design, static typing and semantics ⋮ Object inheritance beyond subtyping
This page was built for publication:
