Sciweavers

12

SAS
1992
Springer

92views Formal Methods» more SAS 1992»

Minimal Function Graphs are not Instrumented

13 years 8 months ago

Minimal Function Graphs are not Instrumented

Download repository.readscheme.org

Alan Mycroft, Mads Rosendahl

claim paper

Read More »

11

SAS
1992
Springer

104views Formal Methods» more SAS 1992»

Partial Evaluation of Interaction Nets

13 years 8 months ago

Partial Evaluation of Interaction Nets

Download repository.readscheme.org

Denis Béchet

claim paper

Read More »

16

SAS
1992
Springer

171views Formal Methods» more SAS 1992»

Static Analysis of CLP Programs over Numeric Domains

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

12

SAS
1992
Springer

124views Formal Methods» more SAS 1992»

An Application of Abstract Interpretation to Floating Point Arithmetic

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