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|