796 search results - page 10 / 160 » The Semantics of Abstract Program Slicing |
POPL
2005
ACM
14 years 8 months ago
2005
ACM
ICALP
2007
Springer
14 years 2 months ago
2007
Springer
CAV
2007
Springer
13 years 12 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
14 years 9 days ago
2001
Springer
PASTE
1999
ACM
14 years 5 days 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...