Relational Reasoning in a Nominal Semantics for Storage

We give a monadic semantics in the category of FM-cpos to a higher-order CBV language with recursion and dynamically allocated mutable references that may store both ground data and the addresses of other references, but not functions. This model is adequate, though far from fully abstract. We then...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Benton, Nick, Leperchey, Benjamin
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Algorithmics. Computability. Computer arithmetics Applied sciences Computer science control theory systems Denotational Semantic Exact sciences and technology Garbage Collection Logical Relation Operational Semantic Relational Reasoning Theoretical computing
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!