1422 search results - page 10 / 285 » Complementation in Abstract Interpretation |
EMSOFT
2003
Springer
15 years 2 months ago
2003
Springer
act Interpretation John Regehr Alastair Reid Kirk Webb University of Utah
SAS
1992
Springer
15 years 1 months ago
1992
Springer
Interpretation to Floating point Arithmetic Yamine A
AMAST
2006
Springer
15 years 1 months ago
2006
Springer
Interpretation of FIFO Queues Tristan Le Gall, Bertrand Jeannet, and Thierry J
ESOP
2007
Springer
15 years 3 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...
ENTCS
2007
14 years 9 months ago
2007
mplate Haskell for Abstract Interpretation Clara Segura1 ,2 Departamento de Sistemas Inform´aticos y Programaci´on Universidad Complutense de Madrid Madrid, Spain Carmen Torrano3...