Sciweavers

10871 search results - page 87 / 2175

» A stable programming language

24

POPL
1997
ACM

104views Programming Languages» more POPL 1997»

Types as Abstract Interpretations

14 years 2 months ago

Types as Abstract Interpretations

Download www.di.ens.fr

Patrick Cousot

claim paper

Read More »

23

POPL
1997
ACM

100views Programming Languages» more POPL 1997»

Relational Parametricity and Units of Measure

14 years 2 months ago

Relational Parametricity and Units of Measure

Download research.microsoft.com

Andrew Kennedy

claim paper

Read More »

26

POPL
1997
ACM

102views Programming Languages» more POPL 1997»

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

14 years 2 months ago

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

Download www.safexpress.com

Michael P. Plezbert, Ron Cytron

claim paper

Read More »

26

ICALP
1997
Springer

67views Programming Languages» more ICALP 1997»

Some Bounds on the Computational Power of Piecewise Constant Derivative Systems (Extended Abstract)

14 years 2 months ago

Some Bounds on the Computational Power of Piecewise Constant Derivative Systems (Extended Abstract)

Download www.lix.polytechnique.fr

Olivier Bournez

claim paper

Read More »

29

ICALP
1997
Springer

96views Programming Languages» more ICALP 1997»

An Abstract Data Type for Real Numbers

14 years 2 months ago

An Abstract Data Type for Real Numbers

Download users.dimi.uniud.it

Pietro Di Gianantonio

claim paper

Read More »

« Prev « First page 87 / 2175 Last » Next »