643 search results - page 9 / 129 » Semantic Determinism and Functional Logic Program Properties |
153
click to vote
ASP
2003
Springer
15 years 10 months ago
2003
Springer
It is commonly believed that the meaning of a formal declarative knowledge representation language is determined by its formal semantics. This is not quite so. This paper shows an...
177
Voted
ENTCS
2002
15 years 5 months ago
2002
We present a declarative debugger for lazy functional logic programs with polymorphic type discipline. Whenever a computed answer is considered wrong by the user (error symptom), ...
149
click to vote
TLCA
2005
Springer
15 years 10 months ago
2005
Springer
The objective of this paper is to develop a functional programming language for quantum computers. We develop a lambda calculus for the classical control model, following the firs...
198
click to vote
BMCBI
2011
15 years 9 days ago
2011
Background: Remote homology detection is a hard computational problem. Most approaches have trained computational models by using either full protein sequences or multiple sequenc...
135
click to vote
SEKE
2001
Springer
15 years 9 months ago
2001
Springer
ct 7 Applying finite-state verification techniques to software systems looks attractive because they are capable of detecting very subtle 8 defects in the logic design of these s...