Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 218,218,492 papers from all fields of science
Search
Sign In
Create Free Account
Symposium on Principles of Programming Languages
Known as:
POPL
, ACM Symposium on Principles of Programming Languages
, Annual ACM Symposium on Principles of Programming Languages
Expand
The annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) is an academic conference in the field of computer science…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
10 relations
ACM SIGACT
Abstract interpretation
Computer science
Function composition (computer science)
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages
Giuseppe Castagna
,
A. Gordon
ACM-SIGACT Symposium on Principles of Programming…
2017
Corpus ID: 9288406
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2017)
Review
2010
Review
2010
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
M. Hermenegildo
,
J. Palsberg
ACM-SIGACT Symposium on Principles of Programming…
2010
Corpus ID: 57489141
Welcome to the Thirty-Seventh Symposium on Principles of Programming Languages, held Wednesday, January 20th, through Friday…
Expand
Highly Cited
2010
Highly Cited
2010
Lazy Annotation for Program Testing and Verification
K. McMillan
International Conference on Computer Aided…
2010
Corpus ID: 4504430
We describe an interpolant-based approach to test generation and model checking for sequential programs The method generates…
Expand
Review
2009
Review
2009
Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Zhong Shao
,
B. Pierce
ACM-SIGACT Symposium on Principles of Programming…
2009
Corpus ID: 59698536
Welcome to the Thirty-Sixth Symposium on Principles of Programming Languages, held Wednesday, January 21st, through Friday…
Expand
Review
2003
Review
2003
Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A. Aiken
,
Greg Morrisett
ACM-SIGACT Symposium on Principles of Programming…
2003
Corpus ID: 59780744
This volume contains the papers and abstracts presented at POPL'03, the Thirtieth Annual ACM SIGPLAN-SIGACT Symposium on…
Expand
Review
2001
Review
2001
Argos: an automaton-based synchronous language
F. Maraninchi
,
Y. Rémond
Computer languages
2001
Corpus ID: 8023319
Highly Cited
1995
Highly Cited
1995
PolyTOIL: A type-safe polymorphic object-oriented language
Kim B. Bruce
,
A. S. Reninger
,
R. Gent
TOPL
1995
Corpus ID: 28265552
PolyTOIL is a new statically typed polymorphic object-oriented programming language that is provably typesafe. By separating the…
Expand
1983
1983
Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
K. Kennedy
,
Mary S. Van Deusen
,
L. Landweber
1983
Corpus ID: 58297102
The papers in this volume were presented at the Tenth Annual ACM Symposium on the Principals of Programming Languages, sponsored…
Expand
1980
1980
Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
P. Abrahams
,
R. Lipton
,
S. Bourne
ACM-SIGACT Symposium on Principles of Programming…
1980
Corpus ID: 61750067
The papers in this volume were presented at the Eighth Annual ACM Symposium on Principals of Programming Languages, sponsored…
Expand
1978
1978
Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A. Aho
,
S. Zilles
,
B. Rosen
1978
Corpus ID: 59869027
The papers in this volume were presented at the Fifth Annual ACM Symposium on Principals of Programming Languages, sponsored…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE