3307 search results - page 21 / 662 » The meaning of concurrent programs |
CAV
2008
Springer
13 years 11 months ago
2008
Springer
Program verification for relaxed memory models is hard. The high degree of nondeterminism in such models challenges standard verification techniques. This paper proposes a new veri...
SIGPLAN
2008
13 years 9 months ago
2008
TOPLAS
2008
13 years 9 months ago
2008
FLOPS
2006
Springer
14 years 1 months ago
2006
Springer
What will a definitive programming language look like? By definitive language I mean a programming language that gives good soat its level of abstraction, allowing computer science...
SIGSOFT
2003
ACM
14 years 10 months ago
2003
ACM
Program slicing is a technique to identify statements that may influence the computations at other statements. Precise slicing has been shown to be undecidable for concurrent prog...