975 search results - page 32 / 195 » Declarative Aspect-Oriented Programming |
ATAL
2005
Springer
15 years 3 months ago
2005
Springer
This paper addresses the notion of declarative goals as used in agent programming. Declarative goals describe desirable states, and semantics of these goals in an agent programmin...
ERSHOV
2001
Springer
15 years 2 months ago
2001
Springer
A general semantics-based framework for the analysis of logic programs with delay declarations is presented. The framework incorporates well known refinement techniques based on r...
WCFLP
2005
ACM
15 years 3 months ago
2005
ACM
Debugging is one of the essential parts of the software development cycle. However, the usual debugging techniques used in imperative languages such as the step by step execution ...
108
click to vote
ICLP
1992
Springer
15 years 1 months ago
1992
Springer
We discuss a declarative characterization of inheritance in logic programming. Our approach is inspired both by existing literature on denotational models for inheritance and by e...
ICLP
2007
Springer
15 years 3 months ago
2007
Springer