Sciweavers

25 search results - page 1 / 5

» popl 2002

32

POPL
2002
ACM

102views Programming Languages» more POPL 2002»

The strength of non-size increasing computation

14 years 4 months ago

The strength of non-size increasing computation

Download www2.tcs.ifi.lmu.de

Martin Hofmann

claim paper

Read More »

38

POPL
2002
ACM

123views Programming Languages» more POPL 2002»

Analyzing security protocols with secrecy types and logic programs

14 years 4 months ago

Analyzing security protocols with secrecy types and logic programs

Download users.soe.ucsc.edu

Bruno Blanchet, Martín Abadi

claim paper

Read More »

35

POPL
2002
ACM

114views Programming Languages» more POPL 2002»

Bounding space usage of conservative garbage collectors

14 years 4 months ago

Bounding space usage of conservative garbage collectors

Download www.hpl.hp.com

Hans-Juergen Boehm

claim paper

Read More »

36

POPL
2002
ACM

135views Programming Languages» more POPL 2002»

Systematic design of program transformation frameworks by abstract interpretation

14 years 4 months ago

Systematic design of program transformation frameworks by abstract interpretation

Download www.di.ens.fr

Patrick Cousot, Radhia Cousot

claim paper

Read More »

38

POPL
2002
ACM

109views Programming Languages» more POPL 2002»

Stack inspection: theory and variants

14 years 4 months ago

Stack inspection: theory and variants

Download research.microsoft.com

Cédric Fournet, Andrew D. Gordon

claim paper

Read More »

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