1143 search results - page 144 / 229 » Abstract Syntax and Logic Programming |
118
Voted
CORR
1999
Springer
15 years 2 months ago
1999
Springer
Most debuggers are notoriously machine-dependent, but some recent research prototypes achieve varying degrees of machine-independence with novel designs. Cdb, a simple source-leve...
109
click to vote
APLAS
2000
ACM
15 years 6 months ago
2000
ACM
We describe a system called CFLP which aims at the integration of the best features of functional logic programming (FLP), cooperative constraint solving (CCS), and distributed co...
146
click to vote
HASKELL
2007
ACM
15 years 6 months ago
2007
ACM
The use of typed intermediate languages can significantly increase the reliability of a compiler. By type-checking the code produced at each transformation stage, one can identify...
126
click to vote
PODS
2005
ACM
16 years 2 months ago
2005
ACM
Abstract. We present a semantics and answer set programs for relational peer data exchange systems. When a peer answers a query, it exchanges data with other peers in order to supp...
102
click to vote
VISSOFT
2005
IEEE
15 years 8 months ago
2005
IEEE
Understanding classes and methods is a key activity in object-oriented programming, since classes represent the abstractions from which applications are built, while methods conta...