Sciweavers

4 search results - page 1 / 1
» sas 1992
Sort
View
103
Voted
SAS
1992
Springer
104views Formal Methods» more  SAS 1992»
15 years 4 months ago
Partial Evaluation of Interaction Nets
Denis Béchet
86
Voted
SAS
1992
Springer
15 years 4 months ago
Minimal Function Graphs are not Instrumented
Alan Mycroft, Mads Rosendahl
91
Voted
SAS
1992
Springer
124views Formal Methods» more  SAS 1992»
15 years 4 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,...
147
Voted
SAS
1992
Springer
171views Formal Methods» more  SAS 1992»
15 years 4 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