796 search results - page 10 / 160 » The Semantics of Abstract Program Slicing |
ICALP
2007
Springer
15 years 3 months ago
2007
Springer
CAV
2007
Springer
15 years 1 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...
ICLP
2001
Springer
15 years 1 months ago
2001
Springer
103
click to vote
PASTE
1999
ACM
15 years 1 months ago
1999
ACM
The principal control-flow abstraction mechanism in the Cobol language is the PERFORM statement. Normally, PERFORM statements are used in a straightforward manner to define para...