1060 search results - page 84 / 212 » Mechanized semantics |
CORR
2010
Springer
14 years 9 months ago
2010
Springer
In this paper we present a methodology and set of tools which assist the construction of applications from components, by separating the issues of transmission policy from compone...
SYNTHESE
2011
14 years 4 months ago
2011
We address the old question whether a logical understanding of Quantum Mechanics requires abandoning some of the principles of classical logic. Against Putnam and others1 , our an...
112
click to vote
CODASPY
2012
13 years 5 months ago
2012
Usage control is concerned with how data is used after access to it has been granted. As such, it is particularly relevant to end users who own the data. System implementations of...
TACAS
1999
Springer
15 years 2 months ago
1999
Springer
We present a theorem-prover based analysis tool for object-oriented database systems with integrity constraints. Object-oriented database specifications are mapped to higher-order...
JLP
2010
14 years 4 months ago
2010
A formalism for expressing the operational semantics of proof languages used in procedural theorem provers is proposed. It is argued that this formalism provides an elegant way to...