"Abstraction and verification in Alphard : a symbol table example" by Ralph L. London, Shaw et al.

Skip to main content

Computer Science Department

Authors

Ralph L. London, Carnegie Mellon University
Shaw
William Allan. Wulf

Title

Abstraction and verification in Alphard : a symbol table example

Date of Original Version

1976

Type

Technical Report

COinS