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

• Type: Journal
• Year: 2010
• Where: SBMF
• Authors: Alejandro Tamalet, Ken Madlener
• Keywords: Data Structures, Formal Methods, Multidot Expressions, Recursive Data Structures, SBMF 2010