750 search results - page 11 / 150 » Declarative event-oriented programming |
ERSHOV
2001
Springer
15 years 4 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...
120
click to vote
WCFLP
2005
ACM
15 years 5 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 ...
124
Voted
ICLP
1992
Springer
15 years 3 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 5 months ago
2007
Springer
88
Voted
PADL
2010
Springer
15 years 8 months ago
2010
Springer
This paper describes a framework to support the implementation of web-based systems to manipulate data stored in relational databases. Since the conceptual model of a relational da...