Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 4 of 6621 results
Sort by: relevance publication year

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

https://doi.org/10.1145/360204.360225 Actions

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

https://doi.org/10.1145/800168.811538 Actions

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

https://doi.org/10.1145/3260312 Actions

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

https://doi.org/10.1145/2535838.2535868 Actions

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

https://doi.org/10.1145/582153.582158 Actions

Typing a multi-language intermediate code

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

Authors: Andrew D. Gordon | Don Syme

https://doi.org/10.1145/360204.360228 Actions

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

https://doi.org/10.1145/1926385.1926453 Actions

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

https://doi.org/10.1145/99583.99617 Actions

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

https://doi.org/10.1145/174675.177971 Actions

From principles to programming languages (and back)

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

Authors: Shriram Krishnamurthi

https://doi.org/10.1145/2429069.2429097 Actions

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

https://doi.org/10.1145/512976.512996 Actions

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

https://doi.org/10.1145/237721.237765 Actions

Types as abstract interpretations

PROCEEDINGS ARTICLE published 1997 in Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '97

Authors: Patrick Cousot

https://doi.org/10.1145/263699.263744 Actions

Context logic and tree update

PROCEEDINGS ARTICLE published 12 January 2005 in Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Authors: Cristiano Calcagno | Philippa Gardner | Uri Zarfaty

https://doi.org/10.1145/1040305.1040328 Actions

Higher-order concurrent programs with finite communication topology (extended abstract)

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

Authors: Hanne Riis Nielson | Flemming Nielson

https://doi.org/10.1145/174675.174538 Actions

Code generation and reorganization in the presence of pipeline constraints

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

Authors: John L. Hennessy | Thomas R. Gross

https://doi.org/10.1145/582153.582166 Actions

Efficient applicative data types

PROCEEDINGS ARTICLE published 1984 in Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '84

Authors: Eugene W. Myers

https://doi.org/10.1145/800017.800517 Actions

Denotational semantics and rewrite rules for FP

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

Authors: Joseph Y. Halpern | John H. Williams | Edward L. Wimmers | Timothy C. Winkler

https://doi.org/10.1145/318593.318623 Actions

What it means for a concurrent program to satisfy a specification

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

Authors: Leslie Lamport

https://doi.org/10.1145/318593.318616 Actions

Optimal scheduling of arithmetic operations in parallel with memory access (preliminary version)

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

Authors: David Bernstein | Ron Y. Pinter | Michael Rodeh

https://doi.org/10.1145/318593.318662 Actions
Feedback: support@crossref.org