Sciweavers

17 search results - page 1 / 4

» popl 1997

20

Voted

POPL
1997
ACM

104views Programming Languages» more POPL 1997»

Types as Abstract Interpretations

13 years 11 months ago

Types as Abstract Interpretations

Download www.di.ens.fr

Patrick Cousot

claim paper

Read More »

35

POPL
1997
ACM

141views Programming Languages» more POPL 1997»

Model Checking for Programming Languages using Verisoft

13 years 11 months ago

Model Checking for Programming Languages using Verisoft

Download www.eecs.umich.edu

Patrice Godefroid

claim paper

Read More »

15

POPL
1997
ACM

100views Programming Languages» more POPL 1997»

Relational Parametricity and Units of Measure

13 years 11 months ago

Relational Parametricity and Units of Measure

Download research.microsoft.com

Andrew Kennedy

claim paper

Read More »

16

POPL
1997
ACM

102views Programming Languages» more POPL 1997»

Is "Just in Time" = "Better Late than Never"?

13 years 11 months ago

Is "Just in Time" = "Better Late than Never"?

Download www.safexpress.com

Michael P. Plezbert, Ron Cytron

claim paper

Read More »

31

POPL
1997
ACM

150views Programming Languages» more POPL 1997»

Call by Need Computations to Root-Stable Form

13 years 11 months ago

Call by Need Computations to Root-Stable Form

Download cl-informatik.uibk.ac.at

The following theorem of Huet and L

Aart Middeldorp

claim paper

Read More »

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