1587 search results - page 53 / 318 » The Semantics of Extended SOFL |
148
click to vote
LICS
2005
IEEE
15 years 10 months ago
2005
IEEE
We show how to give a coherent semantics to programs that are well-specified in a version of separation logic for a language with higher types: idealized algol extended with heap...
126
click to vote
ESORICS
2000
Springer
15 years 8 months ago
2000
Springer
We extend the logic and semantics of authorization due to Abadi, Lampson, et al. to support restricted delegation. Our formal model provides a simple interpretation for the variety...
236
click to vote
LMCS
2006
15 years 4 months ago
2006
We show how to give a coherent semantics to programs that are well-specified in a version of separation logic for a language with higher types: idealized algol extended with heaps ...
143
click to vote
WWW
2005
ACM
16 years 5 months ago
2005
ACM
The success of the Semantic Web crucially depends on the existence of Web pages that provide machine-understandable meta-data. This meta-data is typically added in the semantic an...
CAISE
2005
Springer
15 years 10 months ago
2005
Springer
This paper describes two different ways of understanding operation contracts in conceptual modeling: the strict and the extended interpretations. The main difference between them l...