Sciweavers

291 search results - page 33 / 59
» CPP Denotational Semantics
Sort
View
ICALP
2005
Springer
14 years 1 months ago
About Hoare Logics for Higher-Order Store
Abstract. We present a Hoare logic for a simple imperative whilelanguage with stored commands, ie. stored parameterless procedures. Stores that may contain procedures are called hi...
Bernhard Reus, Thomas Streicher
DOOD
1993
Springer
135views Database» more  DOOD 1993»
13 years 12 months ago
A Deductive and Typed Object-Oriented Language
In this paper we introduce a logical query language extended with object-oriented typing facilities. This language, called DTL (from DataTypeLog), can be seen as an extension of Da...
René Bal, Herman Balsters
ESORICS
2008
Springer
13 years 9 months ago
Compositional Refinement of Policies in UML - Exemplified for Access Control
The UML is the de facto standard for system specification, but offers little specialized support for the specification and analysis of policies. This paper presents Deontic STAIRS,...
Bjørnar Solhaug, Ketil Stølen
ODR
2008
13 years 9 months ago
A Description of Legal Interpretations in Risk Management with the Use of Ontology Alignment Formalisms
The paper has two goals: firstly, we explain how ontology mapping formalisms can be used to denote the many interpretations of a given legal concept; secondly, we provide a short c...
Piotr Stolarski, Tadeusz Tomaszewski, John Zelezni...
SCANGIS
2003
13 years 9 months ago
Framework and Requirements for Management of Topographic Data in Europe
Topographic data sets produced by the National Mapping Agencies (NMAs) are an essential part of Spatial Data Infrastructures (SDIs). Both global and European developments will deno...
Antti Jakobsson