[ACM Press the 1992 ACM conference - San Francisco, California, United States (1992.06.22-1992.06.24)] Proceedings of the 1992 ACM conference on LISP and functional programming - LFP '92 - Proving memory management invariants for a language based on linear logic
Chirimar, Jawahar, Gunter, Carl A., Riecke, Jon G.Year:
1992
Language:
english
DOI:
10.1145/141471.141527
File:
PDF, 832 KB
english, 1992