Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Review Help
Search
An algebraically specified language for data directed design
Wagner E. Theoretical Computer Science77 (1-2):195-219,1990.Type:Article
Date Reviewed: Jul 1 1991

Wagner presents the abstract syntax and semantics of a new object-oriented programming language called Language for Data Directed Design (LD3). He is interested primarily in theoretical issues, considering language implementation the last step in language development.

LD3 has no built-in data types; a new type is defined by specifying operations applicable to the objects of this type. Formal definitions of syntax and denotational semantics are presented, followed by three examples of data type specification: Boolean type, integer, and stack. The current emphasis is on information hiding and language extensibility, and the project of full definition of LD3 is not yet completed; the author mentions the need for future investigation of such concepts as inheritance, overloading, and generic types.

Reviewer:  Adam Drozdek Review #: CR115136
Bookmark and Share
 
Type Structure (F.3.3 ... )
 
 
Object-Oriented Languages (D.3.2 ... )
 
 
Specification Techniques (F.3.1 ... )
 
 
Semantics Of Programming Languages (F.3.2 )
 
Would you recommend this review?
yes
no
Other reviews under "Type Structure": Date
Equational type logic
Manca V., Salibra A., Scollo G. (ed) Theoretical Computer Science 77(1-2): 131-159, 1990. Type: Article
Dec 1 1991
Data types over multiple-valued logics
Pigozzi D. Theoretical Computer Science 77(1-2): 161-194, 1990. Type: Article
Aug 1 1992
Semantics of type theory
Streicher T., Birkhäuser Boston Inc., Cambridge, MA, 1991. Type: Book (9780817635947)
Aug 1 1994
more...

E-Mail This Printer-Friendly
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy