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

Functional programing and the logical variable

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

Authors: Gary Lindstrom

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

Constraining control

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

Authors: Daniel P. Friedman | Christopher T. Haynes

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

Partial order programming (extended abstract)

PROCEEDINGS ARTICLE published 1989 in Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '89

Authors: D. S. Parker

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

Efficient temporal reasoning (extended abstract)

PROCEEDINGS ARTICLE published 1989 in Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '89

Authors: E. A. Emerson | T. Sadler | J. Srinivasan

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

Analyzing aliases of reference formal parameters

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

Authors: Keith D. Cooper

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

Declaration-free type checking

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

Authors: Prateek Mishra | Uday S. Reddy

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

The aggregate update problem in functional programming systems

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

Authors: Paul Hudak | Adrienne Bloss

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

Code generation for silicon

PROCEEDINGS ARTICLE published 1983 in Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '83

Authors: S. C. Johnson

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

Regular expression pattern matching for XML

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

Authors: Haruo Hosoya | Benjamin Pierce

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

Principles of OBJ2

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

Authors: Kokichi Futatsugi | Joseph A. Goguen | Jean-Pierre Jouannaud | José Meseguer

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

Program specification and development in standard ML

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

Authors: Donald Sannella | Andrzej Tarlecki

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

Automatic generation of machine specific code optimizers

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

Authors: Robert Giegerich

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

Constant propagation with conditional branches

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

Authors: Mark N. Wegman | Frank Kenneth Zadeck

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

Logical and mathematical reasoning about imperative programs

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

Authors: Daniel Leivant

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

Code generation using tree matching and dynamic programming

JOURNAL ARTICLE published October 1989 in ACM Transactions on Programming Languages and Systems

Authors: Alfred V. Aho | Mahadevan Ganapathi | Steven W. K. Tjiang

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

Automatic patch generation by learning correct code

PROCEEDINGS ARTICLE published 11 January 2016 in Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

Research funded by Defense Advanced Research Projects Agency (FA8750-14-2-0242)

Authors: Fan Long | Martin Rinard

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

Constraints

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

Authors: Leslie Lamport | Fred B. Schneider

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

Universality of data retrieval languages

PROCEEDINGS ARTICLE published 1979 in Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '79

Authors: Alfred V. Aho | Jeffrey D. Ullman

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

An algorithm for structuring programs (Extended Abstract)

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

Authors: Brenda S. Baker

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

String pattern matching in polynomial time

PROCEEDINGS ARTICLE published 1979 in Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '79

Authors: K. C. Liu | A. C. Fleck

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