1131 search results - page 155 / 227 » Logic Programming, Functional Programming, and Inductive Def... |
97
Voted
CORR
2004
Springer
15 years 12 days ago
2004
Springer
Logic languages based on the theory of rational, possibly infinite, trees have much appeal in that rational trees allow for faster unification (due to the safe omission of the occ...
118
Voted
POS
1998
Springer
15 years 4 months ago
1998
Springer
The 3 tier architecture logically separates the functions of an application into a user interface component, a server business logic component, and a database component. Many appl...
115
click to vote
CORR
2008
Springer
15 years 19 days ago
2008
Springer
This paper presents a toolkit for spreadsheet visualization based on logical areas, semantic classes and data Logical areas, semantic classes and data modules are abstract represe...
96
Voted
PODS
1994
ACM
15 years 4 months ago
1994
ACM
We present a typed polymorphic calculus that supports a general mechanism for view definition and object sharing among classes. In this calculus, a class can contain inclusion spe...
114
Voted
ENTCS
2008
15 years 18 days ago
2008
Most implementations of functional and functional logic languages treat numbers and the basic numeric operations as external entities. The main reason for this is efficiency. Howe...