223 search results - page 24 / 45 » Dafny: An Automatic Program Verifier for Functional Correctn... |
ACG
2009
Springer
13 years 11 months ago
2009
Springer
Endgame heuristics are often incorperated as part of the evaluation function used in Chinese chess programs. In our program, Contemplation, we have proposed an automatic strategy t...
CBMS
2008
IEEE
14 years 2 months ago
2008
IEEE
Mapping concepts from medical terminologies, such as the UMLS, to medical documents is a prerequisite for many tasks of (automatically) processing documents. Due to the nature of ...
ECOOP
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. Javari is an extension of Java that supports reference immutability constraints. Programmers write readonly type qualifiers and other constraints, and the Javari typechec...
CORR
2002
Springer
13 years 7 months ago
2002
Springer
Program specialisation aims at improving the overall performance of programs by performing source to source transformations. A common approach within functional and logic programm...
DAC
2005
ACM
14 years 8 months ago
2005
ACM
The challenge of verifying a modern microprocessor design is an overwhelming one: Increasingly complex micro-architectures combined with heavy time-to-market pressure have forced ...