A practical formal semantic definition and verification system for TYPED LISP
Author(s)
Bibliographic Information
A practical formal semantic definition and verification system for TYPED LISP
（Outstanding dissertations in the computer sciences）
Garland Pub., 1980
Available at / 11 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
CAR||43||1||複本2671544
-
No Libraries matched.
- Remove all filters.
Note
Originally presented as the author's thesis, Stanford Universiy, 1976
Bibliography: p. 73