Sciweavers

18 search results - page 1 / 4

» popl 2001

41

POPL
2001
ACM

104views Programming Languages» more POPL 2001»

Stratified operational semantics for safety and correctness of the region calculus

14 years 5 months ago

Stratified operational semantics for safety and correctness of the region calculus

Download www.doc.ic.ac.uk

Cristiano Calcagno

claim paper

Read More »

38

POPL
2001
ACM

120views Programming Languages» more POPL 2001»

Modules, abstract types, and distributed versioning

14 years 5 months ago

Modules, abstract types, and distributed versioning

Download www.cl.cam.ac.uk

Peter Sewell

claim paper

Read More »

65

POPL
2001
ACM

224views Programming Languages» more POPL 2001»

Programming language methods in computer security

14 years 5 months ago

Programming language methods in computer security

Download theory.stanford.edu

traction

John C. Mitchell

claim paper

Read More »

44

POPL
2001
ACM

139views Programming Languages» more POPL 2001»

An abstract Monte-Carlo method for the analysis of probabilistic programs

14 years 5 months ago

An abstract Monte-Carlo method for the analysis of probabilistic programs

Download www.csl.sri.com

David Monniaux

claim paper

Read More »

71

POPL
2001
ACM

324views Programming Languages» more POPL 2001»

Verifying safety properties of concurrent Java programs using 3-valued logic

14 years 5 months ago

Verifying safety properties of concurrent Java programs using 3-valued logic

Download www.research.ibm.com

Eran Yahav

claim paper

Read More »

« Prev « First page 1 / 4 Last » Next »