514 search results - page 67 / 103 » Dependency Analysis of Ada Programs |
127
Voted
TYPES
2004
Springer
15 years 8 months ago
2004
Springer
We present four constructions for standard equipment which can be generated for every inductive datatype: case analysis, structural recursion, no confusion, acyclicity. Our constru...
116
Voted
PLDI
1997
ACM
15 years 7 months ago
1997
ACM
If a fixed exponentially decreasing probability distribution function is used to model every object’s lifetime, then the age of an object gives no information about its future ...
106
Voted
CAV
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Happen-before causal partial orders have been widely used in concurrent program verification and testing. This paper presents a parametric approach to happen-before causa...
103
Voted
CORR
2004
Springer
15 years 2 months ago
2004
Springer
We present a new role system for specifying changing referencing relationships of heap objects. The role of an object depends, in large part, on its aliasing relationships with ot...
122
Voted
ESORICS
2008
Springer
15 years 4 months ago
2008
Springer
Current tools for analysing information flow in programs build upon ideas going back to Denning's work from the 70's. These systems enforce an imperfect notion of informa...