Compiling path expressions into VLSI circuits

PROCEEDINGS ARTICLE published 1985 in Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '85

Authors: T. S. Anantharaman | E. M. Clarke | M. J. Foster | B. Mishra

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

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

PROCEEDINGS published January 1999

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

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

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

PROCEEDINGS published 12 January 2005

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

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 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

PROCEEDINGS published 5 January 2000

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

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

PROCEEDINGS published 14 January 2004

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

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

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

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

Abstract satisfaction

PROCEEDINGS ARTICLE published 8 January 2014 in Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

Authors: Vijay D'Silva | Leopold Haller | Daniel Kroening