Programming Languages

e Abstraction for Software Verification Cormac Flanagan Shaz Qadeer Compaq Systems Research Center 130 Lytton Ave, Palo Alto, CA 94301 Software verification is an important and di...

Cormac Flanagan, Shaz Qadeer

claim paper

Read More »

61

click to vote

POPL
2002
ACM

135views Programming Languages» more POPL 2002»

Systematic design of program transformation frameworks by abstract interpretation

14 years 8 months ago

Download www.di.ens.fr

Patrick Cousot, Radhia Cousot

claim paper

Read More »

55

click to vote

POPL
2002
ACM

101views Programming Languages» more POPL 2002»

Types as models: model checking message-passing programs

14 years 8 months ago

Download www.cs.cmu.edu

Sagar Chaki, Sriram K. Rajamani, Jakob Rehof

claim paper

Read More »

65

click to vote

POPL
2002
ACM

116views Programming Languages» more POPL 2002»

Mining specifications

14 years 8 months ago

Download www.cs.berkeley.edu

Program verification is a promising approach to improving program quality, because it can search all possible program executions for specific errors. However, the need to formally...

Glenn Ammons, James R. Larus, Rastislav Bodí...

claim paper

Read More »

62

click to vote

POPL
2002
ACM

114views Programming Languages» more POPL 2002»

Bounding space usage of conservative garbage collectors

14 years 8 months ago

Download www.hpl.hp.com

Hans-Juergen Boehm

claim paper

Read More »

61

click to vote

POPL
2002
ACM

141views Programming Languages» more POPL 2002»

Adaptive functional programming

14 years 8 months ago

Download www.cs.cmu.edu

An adaptive computation maintains the relationship between its input and output as the input changes. Although various techniques for adaptive computing have been proposed, they r...

Umut A. Acar, Guy E. Blelloch, Robert Harper

claim paper

Read More »

62

click to vote

POPL
2002
ACM

123views Programming Languages» more POPL 2002»

Analyzing security protocols with secrecy types and logic programs

14 years 8 months ago