232 search results - page 4 / 47 » Reflection principles in computational logic |
MIDDLEWARE
2004
Springer
14 years 1 months ago
2004
Springer
In this paper, we survey three generation of reflective middleware research carried out at Lancaster University, present experiences gained from this research, and highlight a num...
STACS
2001
Springer
14 years 4 days ago
2001
Springer
Coalgebras for a functor on the category of sets subsume many formulations of the notion of transition system, including labelled transition systems, Kripke models, Kripke frames a...
AIL
2007
13 years 7 months ago
2007
One of the major problems in the implementation of the precautionary principle in environmental cases is the estimation of the weight of evidence. In this paper we propose a forma...
CACM
2007
13 years 7 months ago
2007
: The choice uncertainty principle says that it is impossible to make an unambiguous choice between near-simultaneous events under a deadline. This principle affects the design of ...
POPL
1997
ACM
13 years 11 months ago
1997
ACM
We propose a new computation model which combines the operational principles of functional languages (reduction), logic languages (non-deterministic search for solutions), and int...