1631 search results - page 11 / 327 » Observing Functional Logic Computations |
67
Voted
UC
2005
Springer
15 years 5 months ago
2005
Springer
124
click to vote
BMCBI
2011
14 years 6 months 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...
97
Voted
ZUM
2000
Springer
15 years 3 months ago
2000
Springer
We present a computation model for Z, which is based on a reduction to a small calculus, called Z, and on concurrent constraint resolution techniques applied for computing in thi...
APLAS
2007
ACM
15 years 3 months ago
2007
ACM
The integration of functional and logic programming is a well developed field of research. We discuss that the integration could be improved significantly in two separate aspects: ...
102
click to vote
JFP
2000
14 years 11 months ago
2000
In this paper we present two type inference systems for detecting useless-code in higher-order typed functional programs. Type inference can be performed in an efficient and compl...