3831 search results - page 156 / 767 » Dynamic Context Logic |
128
Voted
COMPSAC
2008
IEEE
15 years 6 months ago
2008
IEEE
The formal specification of design patterns is widely recognised as being vital to their effective and correct use in software development. It can clarify the concepts underlying ...
130
click to vote
APAL
2010
15 years 4 months ago
2010
This paper provides a sound and complete proof system for a language Le+Y that adds to Dynamic Epistemic Logic (DEL) a discrete previous-time operator as well as single symbol for...
120
click to vote
IEEEPACT
2007
IEEE
15 years 10 months ago
2007
IEEE
Continued scaling of CMOS technology to smaller transistor sizes makes modern processors more susceptible to both transient and permanent hardware faults. Circuitlevel techniques ...
142
click to vote
PPDP
2007
Springer
15 years 10 months ago
2007
Springer
We give a denotational semantics to a region-based effect system tracking reading, writing and allocation in a higher-order language with dynamically allocated integer references....
111
click to vote
AGP
2003
IEEE
15 years 9 months ago
2003
IEEE
Abstract. Logic programming has often been considered less than adequate for modelling the dynamics of knowledge changing over time. Evolving Logic Programs (EVOLP) has been recent...