Sciweavers

8132 search results - page 26 / 1627

» Dependability, Abstraction, and Programming

142

IFIP
2001
Springer

66views Programming Languages» more IFIP 2001»

Levels of Abstraction in Maritime Maneuvering Operations

15 years 12 months ago

Levels of Abstraction in Maritime Maneuvering Operations

Download imv.au.dk

Johannes Petersen

claim paper

Read More »

166

POPL
2000
ACM

116views Programming Languages» more POPL 2000»

Temporal Abstract Interpretation

15 years 12 months ago

Temporal Abstract Interpretation

Download www.di.ens.fr

Patrick Cousot, Radhia Cousot

claim paper

Read More »

147

Voted

POPL
1997
ACM

104views Programming Languages» more POPL 1997»

Types as Abstract Interpretations

15 years 11 months ago

Types as Abstract Interpretations

Download www.di.ens.fr

Patrick Cousot

claim paper

Read More »

165

ICALP
1997
Springer

67views Programming Languages» more ICALP 1997»

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

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

175

ICALP
1997
Springer

96views Programming Languages» more ICALP 1997»

An Abstract Data Type for Real Numbers

15 years 11 months ago

An Abstract Data Type for Real Numbers

Download users.dimi.uniud.it

Pietro Di Gianantonio

claim paper

Read More »

« Prev « First page 26 / 1627 Last » Next »