838 search results - page 41 / 168 » From Natural Language to Formal Proof Goal |
316
click to vote
Book
"These course notes are addressed to a wide audience of people interested in modern programming languages in general, ML-like languages in particular, or simply in OCaml, whet...
164
click to vote
ASPDAC
2004
ACM
15 years 9 months ago
2004
ACM
The design of complex systems is largely ruled by the time needed for verification. Even though formal methods can provide higher reliability, in practice often simulation based ve...
161
click to vote
CAISE
2000
Springer
15 years 10 months ago
2000
Springer
We present a formal framework for representing enterprise knowledge. The concepts of our framework (objectives and goals, roles and actors, actions and processes, responsibilities ...
120
click to vote
SYNTHESE
2008
15 years 6 months ago
2008
The paper argues, that a direct formalization of the way common sense thinks about the numerical identity of enduring entities, requires that traditional predicate logic is develo...
179
click to vote
WFLP
2000
Springer
15 years 9 months ago
2000
Springer
We introduce a framework for assessing the effectiveness of partial evaluators in functional logic languages. Our framework is based on properties of the rewrite system that models...