Termination of probabilistic concurrent programs

PROCEEDINGS ARTICLE published 1982 in Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '82

Authors: Sergiu Hart | Micha Sharir | Amir Pnueli

Automatic generation of efficient evaluators for attribute grammars

PROCEEDINGS ARTICLE published 1976 in Proceedings of the 3rd ACM SIGACT-SIGPLAN symposium on Principles on programming languages - POPL '76

Authors: Ken Kennedy | Scott K. Warren

Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

PROCEEDINGS published 15 January 2003

Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

PROCEEDINGS published January 2001

C: a language for high-level, efficient, and machine-independent dynamic code generation

PROCEEDINGS ARTICLE published 1996 in Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '96

Authors: Dawson R. Engler | Wilson C. Hsieh | M. Frans Kaashoek

Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

PROCEEDINGS published January 1999

Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages

PROCEEDINGS published 12 January 2005

Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

PROCEEDINGS published 5 January 2000

Efficient deductive methods for program analysis

PROCEEDINGS ARTICLE published January 2001 in Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Authors: Harald Ganzinger

Session details: Abstract interpretation

PROCEEDINGS ARTICLE published 23 January 2013 in Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Authors: Francesco Ranzato

Temporal abstract interpretation

PROCEEDINGS ARTICLE published 5 January 2000 in Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Authors: Patrick Cousot | Radhia Cousot

Composing tree attributions

PROCEEDINGS ARTICLE published 1994 in Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '94

Authors: John Boyland | Susan L. Graham

New control structures to aid gotolessness

PROCEEDINGS ARTICLE published 1975 in Proceedings of the 2nd ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '75

Authors: D. M. Symes

Extended naming conventions for communicating processes

PROCEEDINGS ARTICLE published 1982 in Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '82

Authors: Nissim Francez

Fully abstract translations between functional languages

PROCEEDINGS ARTICLE published 1991 in Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '91

Authors: Jon G. Riecke

Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages

PROCEEDINGS published 14 January 2004

Modules, abstract types, and distributed versioning

PROCEEDINGS ARTICLE published January 2001 in Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Authors: Peter Sewell

Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

PROCEEDINGS published 11 January 2014

Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

PROCEEDINGS published 16 January 2002

Verifying higher-order functional programs with pattern-matching algebraic data types

PROCEEDINGS ARTICLE published 26 January 2011 in Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Authors: C.-H. Luke Ong | Steven J. Ramsay