✦ LIBER ✦

Subtyping Inheritance and Its Application in Languages for Symbolic Computation Systems

✍ Scribed by Paolo Di Blasio; Marco Temperini

Publisher: Elsevier Science
Year: 1995
Tongue: English
Weight: 883 KB
Volume: 19
Category: Article
ISSN: 0747-7171
DOI: 10.1006/jsco.1995.1004

No coin nor oath required. For personal study only.

✦ Synopsis

Application of object-oriented programming techniques to design and implementation of symbolic computation systems is investigated. We show the significance of certain correctness problems, occurring in programming environments based on specialization inheritance, due to use of method redefinition and polymorphism. We propose a solution to these problems, by defining a mechanism of subtyping inheritance and the prototype of an object-oriented programming language for a symbolic computation system. We devise the subtyping inheritance ESI (Enhanced Strict Inheritance) by lifting to programming language constructs a given model of subtyping, which is established by a monotonic (covariant) subtyping rule. Type safeness of language instructions is proved.

The adoption of ESI allows to model method and class specialization in a natural way. The (E S I) mechanism verifies the type correctness of language statements by means of type checking rules and preserves their correctness at run-time by a suitable method lookup algorithm.

📜 SIMILAR VOLUMES

Knowledge-based systems that combine sym

Knowledge-based systems that combine symbolic and numerical computing for power system applications

✍ Xianjin Wang; T.S. Dillon 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 630 KB

Development of performance functions for

Development of performance functions for communication/computer systems and its application to dynamic performance analysis

✍ Ushio Sumita; Yasushi Masuda; Peter Kubat 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 669 KB

An improved profilometric technique for

An improved profilometric technique for wear computation and its application in two-stroke engine cylinder liners

✍ A.K. Gondal; P.G. Khanwalkar; S. Singhal 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 564 KB

Parameter analysis and refinement toolki

Parameter analysis and refinement toolkit system and its application in MM3 parameterization for phosphine and its derivatives

✍ Liang, Guyan; Fox, Peter C.; Bowen, J. Phillip 📂 Article 📅 1996 🏛 John Wiley and Sons 🌐 English ⚖ 1011 KB

The multiparameter multistep relaxation (MPMSR) method, a routine within a new suite of parameterization programs entitled parameter analysis and refinement toolkit system (PARTS), was developed to assist in the development of molecular mechanics (MM3 and MM2) force field parameters and represents a

ANALYSIS AND COMPUTATION OF NONLINEAR DY

ANALYSIS AND COMPUTATION OF NONLINEAR DYNAMIC RESPONSE OF A TWO-DEGREE-OF-FREEDOM SYSTEM AND ITS APPLICATION IN AEROELASTICITY

✍ B.H.K. Lee; L. Gong; Y.S. Wong 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 478 KB

Amperometric Penicillin Biosensor and It

Amperometric Penicillin Biosensor and Its Application in Flow Injection Analysis System for Determination of Penicillin in Broth

✍ Q.S. Li; S.L. Zhang; J.T. Yu 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 252 KB

An amperometric biosensor for determination of penicillin was developed. Penicillinase was immobilized by cross-linking with glutaraldehyde and bovine serum albumin, which was dropped on a platinum disc electrode. The principle of this electrode is based on the classical iodometric penicillin assay.