632 search results - page 31 / 127 » Combining programming with theorem proving |
113
Voted
CCS
2010
ACM
14 years 11 months ago
2010
ACM
Cross-domain information exchange is a growing problem, as business and governmental organizations increasingly need to integrate their information systems with those of partially...
93
Voted
JAPLL
2006
15 years 1 months ago
2006
We present an approach to mathematical assistants which uses readable, executable proof scripts as the central language for interaction. We examine an implementation that combines...
112
click to vote
ICFP
2004
ACM
16 years 1 months ago
2004
ACM
Abadi et al. introduced the dependency core calculus (DCC) as a unifying framework to study many important program analyses such as binding time, information flow, slicing, and fu...
108
click to vote
KBSE
1999
IEEE
15 years 6 months ago
1999
IEEE
Deductive retrieval and deductive synthesis are two conceptually closely related software development methods which apply theorem proving techniques to support the construction of...
134
Voted
CADE
2009
Springer
16 years 2 months ago
2009
Springer
Abstract This work studies the properties of finite automata recognizing vectors with real components, encoded positionally in a given integer numeration base. Such automata are us...