Symposium on Principles of Programming Languages
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)
Is this relevant?
Highly Cited
2010
Highly Cited
2010
- CAV
- 2010
We describe an interpolant-based approach to test generation and model checking for sequential programs. The method generates… (More)
Is this relevant?
Highly Cited
2008
Highly Cited
2008
- POPL
- 2008
We describe a general technique for building abstract interpreters over powerful universally quantified abstract domains that… (More)
Is this relevant?
Highly Cited
2003
Highly Cited
2003
- SPIN
- 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
- Inf. Comput.
- 1997
This paper describes a memory management discipline for programs that perform dynamic memory allocation and de-allocation. At… (More)
Is this relevant?
1996
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
- 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
- PLDI
- 1990
The Program Dependence Web (PDW) is a program representation that can be directly interpreted using control-, data-, or demand… (More)
Is this relevant?
Highly Cited
1989
Highly Cited
1988
Highly Cited
1988
- POPL
- 1988
Most previous redundancy elilmination algorithms have been of two kinds. The lexical algorithms deal with the entire program, but… (More)
Is this relevant?