3307 search results - page 21 / 662 » The meaning of concurrent programs |
108
Voted
CAV
2008
Springer
15 years 2 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
15 years 17 days ago
2008
72
Voted
TOPLAS
2008
15 years 17 days ago
2008
FLOPS
2006
Springer
15 years 4 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...
108
click to vote
SIGSOFT
2003
ACM
16 years 1 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...