479 search results - page 32 / 96 » On Static Properties of Specialized Programs |
118
click to vote
EMSOFT
2005
Springer
15 years 6 months ago
2005
Springer
We describe a system as a set of communicating concurrent programs. Quasi-static scheduling compiles the concurrent programs into a sequential one. It uses a Petri net as an inter...
114
click to vote
ESOP
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. We propose a new type discipline for the -calculus in which secure information flow is guaranteed by static type checking. Secrecy levels are assigned to channels and are...
110
click to vote
AGP
1995
IEEE
15 years 4 months ago
1995
IEEE
The main difficulty in the formalization of a static analysis framework for CC programs is probably related to the correct approximation of the entailment relation between constrai...
97
Voted
RV
2010
Springer
14 years 11 months ago
2010
Springer
Researchers have developed a number of runtime verification tools that generate runtime monitors in the form of AspectJ aspects. In this work, we present Clara, a novel framework ...
92
Voted
ESOP
2008
Springer
15 years 2 months ago
2008
Springer
In this work we address the problem of proving, by static analysis means, that allocating and deallocating regions in the store provides a safe way to achieve memory management. Th...