1189 search results - page 10 / 238 » The Quotient of an Abstract Interpretation |
122
Voted
IANDC
2008
15 years 1 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...
64
Voted
EMSOFT
2003
Springer
15 years 7 months ago
2003
Springer
act Interpretation John Regehr Alastair Reid Kirk Webb University of Utah
103
Voted
SAS
1992
Springer
15 years 6 months ago
1992
Springer
Interpretation to Floating point Arithmetic Yamine A
98
Voted
AMAST
2006
Springer
15 years 5 months ago
2006
Springer
Interpretation of FIFO Queues Tristan Le Gall, Bertrand Jeannet, and Thierry J
103
Voted
ESOP
2007
Springer
15 years 8 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...