643 search results - page 43 / 129 » Semantic Determinism and Functional Logic Program Properties |
108
click to vote
ENTCS
2010
15 years 2 months ago
2010
Rules that are admissible can be used in any derivations in any axiomatic system of a logic. In this paper we introduce a method for checking the admissibility of rules in the mod...
141
click to vote
CORR
2004
Springer
15 years 1 months ago
2004
Springer
The objective of this paper is to develop a functional programming language for quantum computers. We develop a lambda-calculus for the QRAM model, following the work of P. Seling...
123
click to vote
CADE
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. Proof-carrying code and other applications in computer security require machine-checkable proofs of properties of machine-language programs. These in turn require axioms ...
105
click to vote
ICFP
2004
ACM
16 years 1 months ago
2004
ACM
It is possible to extend the basic notion of "function call" to allow functions to have multiple return points. This turns out to be a surprisingly useful mechanism. Thi...
113
click to vote
TASE
2008
IEEE
15 years 1 months ago
2008
IEEE
The safety of pointer programs is an important issue in high-assurance software design, and their verification remains a major challenge. Pointer Logic has been proposed to verify...