Proceedings of the 1992 ACM conference on LISP and functional programming - LFP '92
Latest Publications

TOTAL DOCUMENTS

33

(FIVE YEARS 0)

H-INDEX

11

(FIVE YEARS 0)

Published By ACM Press

0897914813

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Parsers in ML

Proceedings of the 1992 ACM conference on LISP and functional programming - LFP '92 ◽

10.1145/141471.141510 ◽

1992 ◽

Author(s):

Michel Mauny ◽

Daniel de Rauglaudre

Download Full-text

Proving memory management invariants for a language based on linear logic

Proceedings of the 1992 ACM conference on LISP and functional programming - LFP '92 ◽

10.1145/141471.141527 ◽

1992 ◽

Author(s):

Jawahar Chirimar ◽

Carl A. Gunter ◽

Jon G. Riecke

Keyword(s):

Memory Management ◽

Download Full-text

Finiteness conditions for fixed point iteration

Proceedings of the 1992 ACM conference on LISP and functional programming - LFP '92 ◽

10.1145/141471.141514 ◽

1992 ◽

Author(s):

Flemming Nielson ◽

Hanne Riis Nielson

Keyword(s):

Fixed Point ◽

Finiteness Conditions ◽

Fixed Point Iteration

Download Full-text

Improving the performance of SML garbage collection using application-specific virtual memory management

Proceedings of the 1992 ACM conference on LISP and functional programming - LFP '92 ◽

10.1145/141471.141501 ◽

1992 ◽

Author(s):

Eric Cooper ◽

Scott Nettles ◽

Indira Subramanian

Keyword(s):

Memory Management ◽

Garbage Collection ◽

Virtual Memory ◽

Virtual Memory Management ◽

Application Specific

Download Full-text

Proving the correctness of storage representations

Proceedings of the 1992 ACM conference on LISP and functional programming - LFP '92 ◽

10.1145/141471.141528 ◽

1992 ◽

Author(s):

Mitchell Wand ◽

Dino P. Oliva

Download Full-text

Integrating the Scheme and C languages

Proceedings of the 1992 ACM conference on LISP and functional programming - LFP '92 ◽

10.1145/141471.141559 ◽

1992 ◽

Author(s):

John R. Rose ◽

Hans Muller

Download Full-text

On extending computational adequacy by data abstraction

Proceedings of the 1992 ACM conference on LISP and functional programming - LFP '92 ◽

10.1145/141471.141530 ◽

1992 ◽

Author(s):

Val Breazu-Tannen ◽

Ramesh Subrahmanyam

Keyword(s):

Data Abstraction

Download Full-text

Reasoning about programs in continuation-passing style.

Proceedings of the 1992 ACM conference on LISP and functional programming - LFP '92 ◽

10.1145/141471.141563 ◽

1992 ◽

Author(s):

Amr Sabry ◽

Matthias Felleisen

Download Full-text

Global tagging optimization by type inference

Proceedings of the 1992 ACM conference on LISP and functional programming - LFP '92 ◽

10.1145/141471.141542 ◽

1992 ◽

Author(s):

Fritz Henglein

Keyword(s):

Download Full-text

A calculus for overloaded functions with subtyping

Proceedings of the 1992 ACM conference on LISP and functional programming - LFP '92 ◽

10.1145/141471.141537 ◽

1992 ◽

Author(s):

Giuseppe Castagna ◽

Giorgio Ghelli ◽

Giuseppe Longo

Download Full-text