Proving Memory Management Invariants for a Language Based on Linear Logic.
Jawahar ChirimarCarl A. GunterJon G. RieckePublished in: LISP and Functional Programming (1992)
Keyphrases
- linear logic
- memory management
- intuitionistic logic
- operating system
- programming language
- logic programming
- java virtual machine
- natural language
- logical framework
- fixed point
- cut elimination
- inference rules
- general purpose
- computing environments
- desirable properties
- parallel computation
- object oriented
- stereo matching
- database
- parallel algorithm
- image processing
- sequent calculus
- machine learning