POPL 2004 - PDF Preprint Papers

POPL 2004 Annual Symposium on Principles of Programming Languages

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed POPL-2004 Paper

click to vote

POPL
2004
ACM

174views Programming Languages» more POPL 2004»

Abstractions from proofs

14 years 4 months ago

Download pho.ucsd.edu

stractions from Proofs Ranjit Jhala1 Kenneth L. McMillan2 1 UC San Diego 2 Cadence Berkeley Laboratories We present a technique for using infeasible program paths to automatically ...

Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar,...

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	174	Abstractions from proofs	claim
2	172	Simple relational correctness proofs for static analyses and program transformations	claim
3	166	Atomizer: a dynamic atomicity checker for multithreaded programs	claim
4	160	A logic you can count on	claim
5	154	Symbolic transfer function-based approaches to certified compilation	claim
6	151	Global value numbering using random interpretation	claim
7	141	Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums	claim
8	133	Asynchronous and deterministic objects	claim
9	131	Parsing expression grammars: a recognition-based syntactic foundation	claim
10	127	Incremental execution of transformation specifications	claim
11	123	Tridirectional typechecking	claim
12	122	Polymorphic typed defunctionalization	claim
13	120	Free theorems in the presence of seq	claim
14	119	A semantics for web services authentication	claim
15	118	Abstract non-interference: parameterizing non-interference by abstract interpretation	claim
16	112	A bisimulation for dynamic sealing	claim
17	110	Principal typings for Java-like languages	claim
18	110	An abstract interpretation-based framework for software watermarking	claim
19	104	The space cost of lazy reference counting	claim
20	104	Formalization of generics for the .NET common language runtime	claim
21	103	Separation and information hiding	claim
22	101	Summarizing procedures in concurrent programs	claim
23	97	A type system for well-founded recursion	claim
24	86	Local reasoning about a copying garbage collector	claim
25	84	Precise interprocedural analysis through linear algebra	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers