Sciweavers

10575 search results - page 68 / 2115

» Programming Languages

82

PLDI
1997
ACM

110views Programming Languages» more PLDI 1997»

Simple Translation of Goal-Directed Evaluation

15 years 4 months ago

Simple Translation of Goal-Directed Evaluation

Download www.cs.arizona.edu

Todd A. Proebsting

claim paper

Read More »

78

POPL
1997
ACM

104views Programming Languages» more POPL 1997»

Types as Abstract Interpretations

15 years 4 months ago

Types as Abstract Interpretations

Download www.di.ens.fr

Patrick Cousot

claim paper

Read More »

71

POPL
1997
ACM

100views Programming Languages» more POPL 1997»

Relational Parametricity and Units of Measure

15 years 4 months ago

Relational Parametricity and Units of Measure

Download research.microsoft.com

Andrew Kennedy

claim paper

Read More »

72

POPL
1997
ACM

102views Programming Languages» more POPL 1997»

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

15 years 4 months ago

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

Download www.safexpress.com

Michael P. Plezbert, Ron Cytron

claim paper

Read More »

70

ICALP
1997
Springer

67views Programming Languages» more ICALP 1997»

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

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

« Prev « First page 68 / 2115 Last » Next »