Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 237,985,427 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.
2016
2016
A Single-Assignment Translation for Annotated Programs
C. Lourenço
,
M. J. Frade
,
J. Pinto
arXiv.org
2016
Corpus ID: 2438995
We present a translation of While programs annotated with loop invariants into a dynamic single-assignment language with a…
Expand
2016
2016
From Theory to Practice of Algebraic Effects and Handlers (Dagstuhl Seminar 16112)
Andrej Bauer
,
M. Hofmann
,
Matija Pretnar
,
J. Yallop
Dagstuhl Reports
2016
Corpus ID: 30252675
Dagstuhl Seminar 16112 was devoted to research in algebraic effects and handlers, a chapter in the principles of programming…
Expand
2016
2016
A Methodology for the Analysis of Thin Clients
Laura Amelf
2016
Corpus ID: 44101604
The understanding of von Neumann machines has improved multicast algorithms, and current trends suggest that the improvement of…
Expand
2015
2015
Certifications of programs with computational effects. (Certification de programmes avec des effets calculatoires)
Burak Ekici
2015
Corpus ID: 29852513
In this thesis, we aim to formalize the effects of a computation. Indeed, most used programming languages involve different sorts…
Expand
2013
2013
Invariant-Free Deduction Systems for Temporal Logic
J. Gaintzarain
Bull. EATCS
2013
Corpus ID: 4782509
In this thesis we propose a new approach to deduction methods for temporal logic. Our proposal is based on an inductive…
Expand
Review
2011
Review
2011
Special Issue: Selected Papers of the Symposium on Principles of Programming Languages 2009
N. Benton
,
Patricia Johann
2011
Corpus ID: 59664603
This special issue of Logical Methods in Computer Science (LMCS) contains extended and revised versions of selected papers…
Expand
2006
2006
Slicing Execution for Model Checking C Programs
Xiaodong Yi
,
J. Wang
,
Xuejun Yang
International journal of software engineering and…
2006
Corpus ID: 207130455
This paper presents a novel method, namely slicing execution, for model checking C programs with respect to temporal safety…
Expand
1994
1994
Partitioning non-strict languages for multi-threaded code generation
S. Coorg
1994
Corpus ID: 28887901
In a non-strict language, functions may return values before their arguments are available, and data structures may be defined…
Expand
1993
1993
PARTICLE: An Automatic Program Specialization System for Imperative and Low-Level Languages
N. Osgood
1993
Corpus ID: 59803506
1986
1986
What it's like to be a POPL referee; or how to write an extended abstract so that it is more likely to be accepted
M. Wegman
SIGP
1986
Corpus ID: 30539653
An inductive element of a multipole impedance transforming bandpass network of classical design such as Butterworth or Chebyshev…
Expand