Ownership types for object encapsulation

Ownership types provide a statically enforceable way of specifying object encapsulation and enable local reasoning about program correctness in object-oriented languages. However, a type system that enforces strict object encapsulation is too constraining: it does not allow efficient implementation...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Boyapati, Chandrasekhar, Liskov, Barbara, Shrira, Liuba
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	General and reference > Cross-computing tools and techniques > Verification Software and its engineering > Software creation and management > Software development process management Software and its engineering > Software creation and management > Software verification and validation > Formal software verification Software and its engineering > Software notations and tools > General programming languages > Language features Software and its engineering > Software organization and properties > Software functional properties > Formal methods > Software verification Theory of computation > Semantics and reasoning > Program reasoning > Program verification
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!