The IL Programming Language
- Author(s):
- Kaplan, Randy M.
- Publication Year:
- 1991
- Source:
- ACM SIGPLAN Notices, v26 n8 p42-49, Aug 1991
- Document Type:
- Article
- Page Count:
- 8
- Subject/Key Words:
- Programming Languages, Verification (Logic), Computer Applications