A Practical Formal Semantic Definition and Verification System for TYPED LISP

Front Cover
Garland Publishing, Incorporated, 1980 - Computers - 153 pages

From inside the book

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

INTRODUCTION
1
TYPED LISP
8
A FORMAL DEDUCTION SYSTEM FOR TYPED LISP
33
Copyright

6 other sections not shown

Common terms and phrases

Bibliographic information