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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

089791029x

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Formal program testing

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

10.1145/567532.567546 ◽

1981 ◽

Cited By ~ 5

Author(s):

Robert Cartwright

Keyword(s):

Program Testing ◽

Formal Program

Download Full-text

Linear cost is sometimes quadratic

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

10.1145/567532.567545 ◽

1981 ◽

Cited By ~ 3

Author(s):

Barry K. Rosen

Keyword(s):

Linear Cost

Download Full-text

Program logic without binding is decidable

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

10.1145/567532.567550 ◽

1981 ◽

Cited By ~ 1

Author(s):

V. R. Pratt

Keyword(s):

Program Logic

Download Full-text

Making the world safe for garbage collection

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

10.1145/567532.567539 ◽

1981 ◽

Cited By ~ 2

Author(s):

Susan Owicki

Keyword(s):

Garbage Collection ◽

The World

Download Full-text

Incremental evaluation for attribute grammars with application to syntax-directed editors

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

10.1145/567532.567544 ◽

1981 ◽

Cited By ~ 78

Author(s):

Alan Demers ◽

Thomas Reps ◽

Tim Teitelbaum

Keyword(s):

Attribute Grammars ◽

Incremental Evaluation

Download Full-text

Programming primitives for database languages

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

10.1145/567532.567537 ◽

1981 ◽

Cited By ~ 35

Author(s):

Ashok K. Chandra

Download Full-text

The temporal logic of branching time

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

10.1145/567532.567551 ◽

1981 ◽

Cited By ~ 85

Author(s):

Mordechai Ben-Ari ◽

Zohar Manna ◽

Amir Pnueli

Keyword(s):

Temporal Logic ◽

Branching Time

Download Full-text

Position paper on optimizing compilers

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

10.1145/567532.567541 ◽

1981 ◽

Author(s):

W. H. Harisson

Keyword(s):

Position Paper ◽

Optimizing Compilers

Download Full-text

On the andvantages of free choice

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

10.1145/567532.567547 ◽

1981 ◽

Cited By ~ 86

Author(s):

Daniel Lehmann ◽

Michael O. Rabin

Keyword(s):

Free Choice

Download Full-text

Verification of attribute grammar

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

10.1145/567532.567552 ◽

1981 ◽

Cited By ~ 3

Author(s):

Takuya Katayama ◽

Yutaka Hoshino

Keyword(s):

Attribute Grammar

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Formal program testing

Linear cost is sometimes quadratic

Program logic without binding is decidable

Making the world safe for garbage collection

Incremental evaluation for attribute grammars with application to syntax-directed editors

Programming primitives for database languages

The temporal logic of branching time

Position paper on optimizing compilers

On the andvantages of free choice

Verification of attribute grammar

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