10 search results - page 1 / 2 » esop 1999 |
ESOP
1999
Springer
13 years 10 months ago
1999
Springer
ESOP
1999
Springer
13 years 10 months ago
1999
Springer
Expressions in the programming language C have such an under-specified semantics that one might expect them to be non-deterministic. However, with the help of a mechanised formali...
ESOP
1999
Springer
13 years 10 months ago
1999
Springer
ull articles not 12 page abstracts, and are the normal form of refereed publication. The top conferences in each sub eld (like POPL below) typically have the highest impact f...
ESOP
1999
Springer
13 years 10 months ago
1999
Springer
We define an extension of the π-calculus with a static type system which supports high-level specifications of extended patterns of communication, such as client-server protocol...
ESOP
1999
Springer
13 years 10 months ago
1999
Springer
Control Flow Analysis is a widely used approach for analysing functional and object oriented programs. Once the applications become more demanding also the analysis needs to be mor...