750 search results - page 34 / 150 » Declarative event-oriented programming |
159
Voted
AI
2001
Springer
15 years 5 months ago
2001
Springer
The stable semantics has become a prime candidate for knowledge representation and reasoning. The rules associated with propositional logic programs and the stable semantics are no...
104
click to vote
CORR
2004
Springer
15 years 2 months ago
2004
Springer
Recent constraint logic programming (CLP) languages, such as HAL and Mercury, require type, mode and determinism declarations for predicates. This information allows the generatio...
100
Voted
SAC
2005
ACM
15 years 7 months ago
2005
ACM
Reflective programming is becoming popular due to the increasing set of dynamic services provided by execution environments like JVM and CLR. With custom attributes Microsoft int...
110
click to vote
KBSE
2002
IEEE
15 years 7 months ago
2002
IEEE
This paper presents an application framework in which declarative specifications of debugging actions are translated into execution monitors that can automatically detect bugs. Th...
162
Voted
CL
2012
Springer
13 years 4 months ago
2012
Springer
Distributed logic programming languages, that allow both facts and programs to be distributed among different nodes in a network, have been recently proposed and used to declarati...