A Unified Memory Model for Pointers

One of the challenges in verifying systems level code is the low-level, untyped view of the machine state that operating systems have. We describe a way to faithfully formalise this view while at the same time providing an easy-to-use, abstract and typed view of memory where possible. We have used t...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Lecture notes in computer science 2005, p.474-488
Hauptverfasser:	Tuch, Harvey, Klein, Gerwin
Format:	Artikel
Sprache:	eng
Schlagworte:	Address Space Applied sciences Artificial intelligence Computer science control theory systems Exact sciences and technology Language Type Logical, boolean and switching functions Memory Model Page Table Theoretical computing Virtual Memory
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!