1111 search results - page 134 / 223 » Program Analysis as Model Checking of Abstract Interpretatio... |
110
click to vote
ADAEUROPE
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. The Ravenscar Profile is a restricted subset of the Ada tasking model, designed to meet the requirements of producing analysable and deterministic code. A central featur...
122
click to vote
ECOOP
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. In aspect-oriented programming, pointcuts are used to describe crossstructure. Pointcuts that abstract over irrelevant implementation details are clearly desired to bette...
131
click to vote
PPDP
2001
Springer
15 years 7 months ago
2001
Springer
We introduce a new system of trust analysis for concurrent and distributed systems using the π-calculus[13, 14, 15] as a modelling tool. A Type system using boolean annotations g...
154
click to vote
FM
2008
Springer
15 years 4 months ago
2008
Springer
The declarative modeling language Alloy and its automatic analyzer provide an effective tool-set for building designs of systems and checking their properties. The Alloy Analyzer p...
147
click to vote
CCGRID
2006
IEEE
15 years 7 months ago
2006
IEEE
Abstract-- The development of high performance parallel applications for clusters is considered a complex task. This can happen because the influence of the execution environment a...