An algebraic specification for the static semantics of Pascal

An algebraic specification for the static semantics of Pascal

Bibliographic Details
Corporate Author: Centrum voor Wiskunde en Informatica (Amsterdam, Netherlands)
Other Authors: Deursen, A. van
Format: Book
Language:English
Published: 1991
Subjects:
Formal specifications
Programming language semantics
Static semantics
Type checking

Internet

This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.

Stanford University

Holdings details from Stanford University
Call Number: 120213
ISIL:US-CST

Similar Items