5634 search results - page 61 / 1127 » About Abstract Classes |
132
click to vote
EACL
2009
ACL Anthology
16 years 4 months ago
2009
ACL Anthology
ion Benjamin Van Durme, Phillip Michalak and Lenhart K. Schubert Department of Computer Science University of Rochester Rochester, NY 14627, USA Existing work in the extraction of...
109
click to vote
FOSSACS
2009
Springer
15 years 10 months ago
2009
Springer
traction for Reduced ML Andrzej S. Murawski and Nikos Tzevelekos Oxford University Computing Laboratory Wolfson Building, Parks Road, Oxford OX1 3QD, UK We present the first effe...
118
click to vote
CAV
2010
Springer
15 years 7 months ago
2010
Springer
Analysis of Symbolic Executions Aws Albarghouthi1 , Arie Gurfinkel2 , Ou Wei1,3 , and Marsha Chechik1 1 Department of Computer Science, University of Toronto, Canada 2 Software Eng...
126
click to vote
ENTCS
2007
15 years 3 months ago
2007
ed Metatheory (Extended Abstract) Andrew W. Appel Princeton University and INRIA Rocquencourt Xavier Leroy INRIA Rocquencourt We propose a benchmark to compare theorem-proving sys...
119
click to vote
TOOLS
1997
IEEE
15 years 8 months ago
1997
IEEE
Object-oriented programming techniques support construction of reusable and extensible code. However, class-based languages have poor support for implementing type-orthogonal beha...