2911 search results - page 417 / 583 » A Theory of Expressiveness in Mechanisms |
131
click to vote
EUSFLAT
2009
14 years 11 months ago
2009
Diverse forms of the concept of opposition are already existent in philosophy, linguistics, psychology and physics. The interplay between entities and opposite entities is apparent...
166
click to vote
AIEDU
2010
14 years 8 months ago
2010
: This paper describes a Conceptual Framework underpinning "Systems that Care" in terms of educational systems that take account of motivation, metacognition and affect, ...
143
click to vote
ATAL
2011
Springer
14 years 1 months ago
2011
Springer
In modal logic, when adding a syntactic property to an axiomatisation, this property will semantically become true in all models, in all situations, under all circumstances. For i...
221
Voted
POPL
2008
ACM
16 years 2 months ago
2008
ACM
We propose a novel approach to proving the termination of heapmanipulating programs, which combines separation logic with cyclic proof within a Hoare-style proof system. Judgement...
233
click to vote
POPL
2004
ACM
16 years 2 months ago
2004
ACM
We show how some classical static analyses for imperative programs, and the optimizing transformations which they enable, may be expressed and proved correct using elementary logi...