Tutorial, Programming Language Design

Tutorial, Programming Language Design

4.11 - 1251 ratings - Source

Concrete operation in(x) ... Step 3 is the standard verification formula for the concrete operation as a simple program; note that it enforces the ... Shaw, M.. and Wulf, W.A. Abstraction and verification in Alphard: a symbol table example. Tech ... E.A., Green, B.F. Jr., and Mealy, G.H. Information Processing Language- V Manual.

Title:Tutorial, Programming Language Design
Author:Anthony I. Wasserman
Publisher: - 1980


You Must CONTINUE and create a free account to access unlimited downloads & streaming