3595 search results - page 120 / 719 » Roles of Program Extension |
122
click to vote
IJCAI
1989
15 years 5 months ago
1989
Fold-unfold is a well known program transformation technique. Its major drawback is that folding requires an Eureka step to invent new procedures. In the context of logic programm...
134
click to vote
TOOLS
2008
IEEE
15 years 10 months ago
2008
IEEE
There is a growing research interest in employing the logic paradigm for making queries on software in general, and OOP software in particular. We describes a side-effect-free tech...
122
click to vote
BMCBI
2011
14 years 11 months ago
2011
Background: Experimentally verified protein-protein interactions (PPIs) cannot be easily retrieved by researchers unless they are stored in PPI databases. The curation of such dat...
121
click to vote
MBEC
2010
14 years 11 months ago
2010
Apoptosis is a critical physiological pathway required for the normal functioning, homeostasis, and development of many organisms. This process is highly regulated at the biochemic...
281
click to vote
Book
"Standard ML is a type-safe programming language that embodies many innovative ideas in programming language design. It is a statically typed language, with an extensible type...