135
Voted
ESOP
2010
Springer
16 years 3 days ago
2010
Springer
In search for a foundational framework for reasoning about observable behavior of programs that may not terminate, we have previously devised a trace-based big-step semantics for W...