3 search results - page 1 / 1 » Infinitary Control Flow Analysis: a Collecting Semantics for... |
POPL
1997
ACM
13 years 8 months ago
1997
ACM
Defining the collecting semantics is usually the first crucial step in adapting the general methodology of abstract interpretation to the semantic framework or programming languag...
ESOP
1999
Springer
13 years 9 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...
GI
2009
Springer
13 years 2 months ago
2009
Springer
: Static analysis techniques for consistency checking of workflows allow to avoid runtime errors. This is in particular crucial for long running workflows where errors, detected la...