1422 search results - page 10 / 285 » Complementation in Abstract Interpretation |
94
Voted
EMSOFT
2003
Springer
15 years 10 months ago
2003
Springer
act Interpretation John Regehr Alastair Reid Kirk Webb University of Utah
127
click to vote
SAS
1992
Springer
15 years 9 months ago
1992
Springer
Interpretation to Floating point Arithmetic Yamine A
129
click to vote
AMAST
2006
Springer
15 years 8 months ago
2006
Springer
Interpretation of FIFO Queues Tristan Le Gall, Bertrand Jeannet, and Thierry J
131
Voted
ESOP
2007
Springer
15 years 11 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...
131
Voted
ENTCS
2007
15 years 5 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...