Sciweavers

4 search results - page 1 / 1

» sas 1992

15

SAS
1992
Springer

104views Formal Methods» more SAS 1992»

Partial Evaluation of Interaction Nets

13 years 10 months ago

Partial Evaluation of Interaction Nets

Download repository.readscheme.org

Denis Béchet

claim paper

Read More »

17

SAS
1992
Springer

92views Formal Methods» more SAS 1992»

Minimal Function Graphs are not Instrumented

13 years 10 months ago

Minimal Function Graphs are not Instrumented

Download repository.readscheme.org

Alan Mycroft, Mads Rosendahl

claim paper

Read More »

18

SAS
1992
Springer

124views Formal Methods» more SAS 1992»

An Application of Abstract Interpretation to Floating Point Arithmetic

13 years 10 months ago

An Application of Abstract Interpretation to Floating Point Arithmetic

Download www.cert.fr

Interpretation to Floating point Arithmetic Yamine A

Yamine Aït Ameur, Patrice Cros, J.-J. Falcon,...

claim paper

Read More »

23

SAS
1992
Springer

171views Formal Methods» more SAS 1992»

Static Analysis of CLP Programs over Numeric Domains

13 years 10 months ago

Static Analysis of CLP Programs over Numeric Domains

Download www.cs.unipr.it

Abstract Constraint logic programming (CLP) is a generalization of the pure logic programming paradigm, having similar model-theoretic, fixpoint and operational semantics [9]. Sinc...

Roberto Bagnara, Roberto Giacobazzi, Giorgio Levi

claim paper

Read More »

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