Sciweavers

SBMF
2010
Springer

Reasoning about Assignments in Recursive Data Structures

12 years 10 months ago
Reasoning about Assignments in Recursive Data Structures
This paper presents a framework to reason about the eects of assignments in recursive data structures. We dene an operational semantics for a core language based on Meyer's ideas for a semantics for the object-oriented language Eiel. A series of eld accesses, e.g. f1
Alejandro Tamalet, Ken Madlener
Added 21 May 2011
Updated 21 May 2011
Type Journal
Year 2010
Where SBMF
Authors Alejandro Tamalet, Ken Madlener
Comments (0)