1189 search results - page 10 / 238 » The Quotient of an Abstract Interpretation |
IANDC
2008
13 years 8 months ago
2008
act Interpretation Francesco Ranzato and Francesco Tapparo Dipartimento di Matematica Pura ed Applicata, Universit`a di Padova, Italy The Paige and Tarjan algorithm (PT) for comp...
EMSOFT
2003
Springer
14 years 1 months ago
2003
Springer
act Interpretation John Regehr Alastair Reid Kirk Webb University of Utah
SAS
1992
Springer
14 years 19 days ago
1992
Springer
Interpretation to Floating point Arithmetic Yamine A
AMAST
2006
Springer
14 years 10 days ago
2006
Springer
Interpretation of FIFO Queues Tristan Le Gall, Bertrand Jeannet, and Thierry J
ESOP
2007
Springer
14 years 2 months ago
2007
Springer
tnesses for Abstract Interpretation-based Proofs Fr´ed´eric Besson, Thomas Jensen, and Tiphaine Turpin IRISA/{Inria, CNRS, Universit´e de Rennes 1} Campus de Beaulieu, F-35042 R...