Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '92
Latest Publications

TOTAL DOCUMENTS

31

(FIVE YEARS 0)

H-INDEX

16

(FIVE YEARS 0)

Published By ACM Press

0897914538

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Partial evaluation of high-level imperative programming languages with applications in hard real-time systems

Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '92 ◽

10.1145/143165.143223 ◽

1992 ◽

Author(s):

Vivek Nirkhe ◽

William Pugh

Keyword(s):

Programming Languages ◽

Real Time ◽

Partial Evaluation ◽

Real Time Systems ◽

Hard Real Time ◽

Download Full-text

Principal signatures for higher-order program modules

Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '92 ◽

10.1145/143165.143206 ◽

1992 ◽

Author(s):

Mads Tofte

Keyword(s):

Higher Order ◽

Program Modules

Download Full-text

A semantics for ML concurrency primitives

Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '92 ◽

10.1145/143165.143191 ◽

1992 ◽

Author(s):

Dave Berry ◽

Robin Milner ◽

David N. Turner

Download Full-text

Generating a compiler for a lazy language by partial evaluation

Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '92 ◽

10.1145/143165.143220 ◽

1992 ◽

Author(s):

Jesper Jørgensen

Keyword(s):

Partial Evaluation

Download Full-text

Recognizing substrings of LR(k) languages in linear time

Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '92 ◽

10.1145/143165.143213 ◽

1992 ◽

Author(s):

Joseph Bates ◽

Alon Lavie

Keyword(s):

Download Full-text

Algorithmic aspects of type inference with subtypes

Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '92 ◽

10.1145/143165.143227 ◽

1992 ◽

Author(s):

Patrick Lincoln ◽

John C. Mitchell

Keyword(s):

Download Full-text

Inductive definitions, semantics and abstract interpretations

Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '92 ◽

10.1145/143165.143184 ◽

1992 ◽

Author(s):

Patrick Cousot ◽

Radhia Cousot

Keyword(s):

Inductive Definitions

Download Full-text

Compile-time analysis of parallel programs that share memory

Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '92 ◽

10.1145/143165.143194 ◽

1992 ◽

Author(s):

Jyh-Herng Chow ◽

William Ludwell Harrison

Keyword(s):

Parallel Programs ◽

Download Full-text

Pattern-based tree attribution

Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '92 ◽

10.1145/143165.143209 ◽

1992 ◽

Author(s):

Charles Farnum

Download Full-text

A mark-and-sweep collector C++

Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '92 ◽

10.1145/143165.143178 ◽

1992 ◽

Author(s):

Daniel R. Edelson

Download Full-text