Search Sciweavers | Sciweavers

33 search results - page 1 / 7

» popl 2005

122

click to vote

TPHOL
2005
IEEE

107views Automated Reasoning» more TPHOL 2005»

Mechanized Metatheory for the Masses: The PoplMark Challenge

15 years 8 months ago

Download www.cl.cam.ac.uk

Abstract. How close are we to a world where every paper on programming languages is accompanied by an electronic appendix with machinechecked proofs? We propose an initial set of b...

Brian E. Aydemir, Aaron Bohannon, Matthew Fairbair...

claim paper

Read More »

206

click to vote

POPL
2005
ACM

135views Programming Languages» more POPL 2005»

Separation logic and abstraction

16 years 3 months ago

Download www.cl.cam.ac.uk

Matthew J. Parkinson, Gavin M. Bierman

claim paper

Read More »

210

click to vote

POPL
2005
ACM

96views Programming Languages» more POPL 2005»

Scalable error detection using boolean satisfiability

16 years 3 months ago

Download www.stanford.edu

Yichen Xie, Alexander Aiken

claim paper

Read More »

197

click to vote

POPL
2005
ACM

108views Programming Languages» more POPL 2005»

A framework for numeric analysis of array operations

16 years 3 months ago

Download www.cs.tau.ac.il

Denis Gopan, Thomas W. Reps, Shmuel Sagiv

claim paper

Read More »

210

click to vote

POPL
2005
ACM

89views Programming Languages» more POPL 2005»

Policy framings for access control

16 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers