2604 search results - page 355 / 521 » General constant expressions for system programming language... |
149
click to vote
LICS
2008
IEEE
15 years 11 months ago
2008
IEEE
Separation logic involves two dual forms of modularity: local reasoning makes part of the store invisible within a static scope, whereas hiding local state makes part of the store...
125
click to vote
ICDT
1997
ACM
15 years 8 months ago
1997
ACM
We develop a new schema for unstructured data. Traditional schemas resemble the type systems of programming languages. For unstructured data, however, the underlying type may be mu...
152
click to vote
ESAW
2006
Springer
15 years 8 months ago
2006
Springer
The research on exception handling in Multi-Agent Systems has produced some advanced models to deal with `exceptional situations'. The expression `agent exception' is how...
142
click to vote
SERP
2003
15 years 5 months ago
2003
A software specification is a fundamental work product that represents user’s requirements and developers can use it to further develop a software system. A software specificati...
133
click to vote
CADE
2010
Springer
15 years 5 months ago
2010
Springer
This system description provides an overview of the MUNCH reasoner for sets and multisets. MUNCH takes as the input a formula in a logic that supports expressions about sets, multi...