1131 search results - page 190 / 227 » Logic Programming, Functional Programming, and Inductive Def... |
123
click to vote
CDES
2008
15 years 3 months ago
2008
- The Cell Matrix Architecture is a massive array of dynamically self-configurable, uniformly connected, identical computational units. This architecture can enable efficient, prac...
134
click to vote
APAL
2008
15 years 2 months ago
2008
We solve a longstanding problem by providing a denotational model for nondeterministic programs that identifies two programs iff they have the same range of possible behaviours. W...
149
click to vote
CACM
1998
15 years 2 months ago
1998
abstraction for modeling these problems is to view the Web as a collection of (usually small and heterogeneous) databases, and to view programs that extract and process Web data au...
137
click to vote
CADE
2007
Springer
16 years 2 months ago
2007
Springer
Abstract. A method based on dependency pairs for showing termination of functional programs on data structures generated by constructors with relations is proposed. A functional pr...
110
click to vote
SAS
2007
Springer
15 years 8 months ago
2007
Springer
Denotational static analysis of Java bytecode has a nice and clean compositional definition and an efficient implementation with binary decision diagrams. But it models only the f...