108
click to vote
ENTCS
2002
15 years 18 days ago
2002
The MaC system has been developed to provide assurance that a target program is running correctly with respect to formal requirements specification. This is achieved by monitoring...
69
Voted
ENTCS
2002
15 years 18 days ago
2002
Building on previous work [15,8], this paper describes two syntactic ways of defining `well-behaved' operational semantics for timed processes. In both cases, the rules are d...
57
Voted
ENTCS
2002
15 years 18 days ago
2002
138
Voted
ENTCS
2002
15 years 18 days ago
2002
A program analysis is compositional when the analysis result for a particular program fragment is obtained solely from the results for its immediate subfragments via some composit...
117
Voted
ENTCS
2002
15 years 18 days ago
2002
This paper presents an argumentation based framework to support an agent's deliberation process for drawing conclusions under a given policy. The argumentative policy of the ...
104
Voted
ENTCS
2002
15 years 18 days ago
2002
When different mathematical models are used for software analysis and development it is important to understand their relationships. When the models are truly mathematical, and wh...
105
Voted
ENTCS
2002
15 years 18 days ago
2002
We present a novel technique called comparison checking that helps optimizer writers debug optimizers by testing, for given inputs, that the semantics of a program are not changed...
65
Voted
ENTCS
2002
15 years 18 days ago
2002
88
Voted
ENTCS
2002
15 years 18 days ago
2002
We consider the dual of Theorem 1 from [33], relating closure conditions on subcategories with projectivity classes for collections of discrete cocones. We extend these results by...
100
Voted
ENTCS
2002
15 years 18 days ago
2002
Many tools have been constructed using different formal methods to process various parts of a language specification (e.g., scanner generators, parser generators and compiler gene...