IEEE - Institute of Electrical and Electronics Engineers, Inc. - Object-oriented software specification in programming language design and implementation

Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 36241)

Author(s): Bryant, B.R. ; Vaidyanathan, V.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1998
Conference Location: Vienna, Austria, Austria
Conference Date: 21 August 1998
Page(s): 387 - 392
ISBN (Paper): 0-8186-8585-9
ISSN (Paper): 0730-3157
DOI: 10.1109/CMPSAC.1998.716685
Regular:

An object-oriented formal specification workbench is proposed for defining the syntax and semantics of programming languages, using which the formal properties of different languages can be... View More

Advertisement