Sciweavers

SAS
1992
Springer
14 years 2 months ago
Minimal Function Graphs are not Instrumented
Alan Mycroft, Mads Rosendahl
SAS
1992
Springer
171views Formal Methods» more  SAS 1992»
14 years 2 months ago
Static Analysis of CLP Programs over Numeric Domains
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
SAS
1992
Springer
124views Formal Methods» more  SAS 1992»
14 years 2 months ago
An Application of Abstract Interpretation to Floating Point Arithmetic
Interpretation to Floating point Arithmetic Yamine A
Yamine Aït Ameur, Patrice Cros, J.-J. Falcon,...