1189 search results - page 10 / 238 » The Quotient of an Abstract Interpretation |
160
click to vote
IANDC
2008
15 years 6 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...
105
click to vote
EMSOFT
2003
Springer
15 years 11 months ago
2003
Springer
act Interpretation John Regehr Alastair Reid Kirk Webb University of Utah
139
click to vote
SAS
1992
Springer
15 years 10 months ago
1992
Springer
Interpretation to Floating point Arithmetic Yamine A
140
click to vote
AMAST
2006
Springer
15 years 9 months ago
2006
Springer
Interpretation of FIFO Queues Tristan Le Gall, Bertrand Jeannet, and Thierry J
142
click to vote
ESOP
2007
Springer
16 years 6 days 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...