Sciweavers

17 search results - page 1 / 4

» popl 1997

107

Voted

POPL
1997
ACM

104views Programming Languages» more POPL 1997»

Types as Abstract Interpretations

15 years 9 months ago

Types as Abstract Interpretations

Download www.di.ens.fr

Patrick Cousot

claim paper

Read More »

145

Voted

POPL
1997
ACM

141views Programming Languages» more POPL 1997»

Model Checking for Programming Languages using Verisoft

15 years 9 months ago

Model Checking for Programming Languages using Verisoft

Download www.eecs.umich.edu

Patrice Godefroid

claim paper

Read More »

110

Voted

POPL
1997
ACM

100views Programming Languages» more POPL 1997»

Relational Parametricity and Units of Measure

15 years 9 months ago

Relational Parametricity and Units of Measure

Download research.microsoft.com

Andrew Kennedy

claim paper

Read More »

106

Voted

POPL
1997
ACM

102views Programming Languages» more POPL 1997»

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

15 years 9 months ago

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

Download www.safexpress.com

Michael P. Plezbert, Ron Cytron

claim paper

Read More »

179

Voted

POPL
1997
ACM

150views Programming Languages» more POPL 1997»

Call by Need Computations to Root-Stable Form

15 years 8 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 »