techniques, and tools. Addison-Wesley, 1986. (2008)
Practices Benjamin, Ass Harold Abelson, Gerald Jay Sussman, Julie Sussman Structure, ...
in Functional Programming, volume 2. Intellect, 2000.
Ac Martìn Abadi, Luca Cardelli, A Theory, Objects Springer, An Arvind, ...
machine instructions for proof-carrying code. In 27th Symposium on the Principles of Programming Languages (POPL), pages 243–253,
Neil Soiffer, Harold Abelson, Gerald Jay Sussman, Julie Sussman Structure, Interpretation Of, Milton Abramowitz, ...
An object oriented approach to algebraic system
Harold Abelson Gerald, Gerald Jay Sussman, Julie Sussman Structure, Verification Using Lp, Stephen H. Edwards, George W. Ernst, ...
Introduction to Logic. Academic Press, 1972. [9] George W. Ernst, Raymond J. Hookway, James A. Menegay, and William F. Ogden. Semantics of programming languages for modular verification. Technical...