Symposium on Principles of Programming Languages

Known as: POPL, ACM Symposium on Principles of Programming Languages, Annual ACM Symposium on Principles of Programming Languages 
The annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) is an academic conference in the field of computer science… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2011
Highly Cited
2011
  • 2011
The machine learning method to A* search is defined not only by the refinement of rasterization, but also by the intuitive need… (More)
  • figure 1
  • figure 2
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2010
Highly Cited
2010
We describe an interpolant-based approach to test generation and model checking for sequential programs. The method generates… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 6
Is this relevant?
Highly Cited
2008
Highly Cited
2008
We describe a general technique for building abstract interpreters over powerful universally quantified abstract domains that… (More)
  • figure 2
  • table 1
Is this relevant?
Highly Cited
2003
Highly Cited
2003
ion of C programs. In PLDI 01: Programming Language Design and Implementation, pages 203–213. ACM, 2001. 2. S. Das, D. L. Dill… (More)
Is this relevant?
Highly Cited
1997
Highly Cited
1997
This paper describes a memory management discipline for programs that perform dynamic memory allocation and de-allocation. At… (More)
  • figure 1
  • figure 4
  • figure 5
  • figure 6
  • figure 7
Is this relevant?
1996
1996
Object-oriented programming languages (oopl's) provide important support for today's large-scale software development projects… (More)
Is this relevant?
1991
1991
Copyright and moral rights for this work are retained by the author A copy can be downloaded for personal non-commercial research… (More)
Is this relevant?
Highly Cited
1990
Highly Cited
1990
The Program Dependence Web (PDW) is a program representation that can be directly interpreted using control-, data-, or demand… (More)
  • figure 3
  • figure 1
  • figure 2
  • figure 5
  • figure 4
Is this relevant?
Highly Cited
1989
Highly Cited
1988
Highly Cited
1988
Most previous redundancy elilmination algorithms have been of two kinds. The lexical algorithms deal with the entire program, but… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 6
Is this relevant?