4814 search results - page 40 / 963 » Combining abstract interpreters |
129
click to vote
HYBRID
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. Hybrid cc is a constraint programming language suitable for modeling, controlling and simulating hybrid systems, i.e. systems with continuous and discrete state changes. ...
102
click to vote
CTCS
1989
Springer
15 years 8 months ago
1989
Springer
We combine the principles of the Floyd-Warshall-Kleene algorithm, enriched categories, and Birkhoff arithmetic, to yield a useful class of algebras of transitive vertex-labeled s...
114
click to vote
CORR
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. We consider the interpretations of notions of access control (permissions, interdictions, obligations, and user rights) as run-time properties of information systems spec...
126
click to vote
ESOP
2005
Springer
15 years 9 months ago
2005
Springer
Additional Key Words and Phrases: program analysis, modular arithmetic, abstract interpretation, affine relation, interprocedural analysis
106
click to vote
SLP
1990
15 years 5 months ago
1990
eric abstract interpretation framework. The results show significant benefits when using the proposed incremental analysis algorithms.