3573 search results - page 539 / 715 » Reasoning about Codata |
141
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
State of the art analyzers in the Logic Programming (LP) paradigm are nowadays mature and sophisticated. They allow inferring a wide variety of global properties including terminat...
117
Voted
CORR
2008
Springer
15 years 3 months ago
2008
Springer
Many semantical aspects of programming languages are specified through calculi for constructing proofs: consider, for example, the specification of structured operational semantic...
123
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
The Windows Vista operating system implements an interesting model of multi-level integrity. We observe that in this model, trusted code must participate in any information-flow a...
139
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
We develop a general game-theoretic framework for reasoning about strategic agents performing possibly costly computation. In this framework, many traditional game-theoretic resul...
140
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
Many real-world data are maintained in relational format, with different tables storing information about entities and their links or relationships. The structure (schema) of the ...