4257 search results - page 679 / 852 » The Logical Modularity of Programs |
170
click to vote
PPDP
2005
Springer
15 years 12 months ago
2005
Springer
The paper describes a constraint-based solution to the protein folding problem on face-centered cubic lattices—a biologically meaningful approximation of the general protein fol...
170
click to vote
LOPSTR
2004
Springer
15 years 11 months ago
2004
Springer
We address the problem of an efficient rewriting strategy for general term rewriting systems. Several strategies have been proposed over the last two decades for rewriting, the mos...
163
click to vote
TPHOL
2003
IEEE
15 years 11 months ago
2003
IEEE
Abstract. Polytypic functions have mainly been studied in the context of functional programming languages. In that setting, applications of polytypism include elegant treatments of...
153
Voted
ICLP
2003
Springer
15 years 11 months ago
2003
Springer
Logic programming is based on the idea that computation is controlled inference. The Extended Andorra Model provides a very powerful framework that supports both co-routining and p...
145
click to vote
TOOLS
1999
IEEE
15 years 10 months ago
1999
IEEE
The Unified Modeling Language (UML) is a set of notations for modelling object-oriented systems. It has become the de facto standard. Most of its notations are diagrammatic. An ex...