( en | de | ru )

 

Disambiguierung von "Naumann, David A."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
An Illustrated Guide to the Model Theory of Supertype Abstraction and Behavioral Subtyping.

, und . SETSS, Volume 11174 von Lecture Notes in Computer Science, Seite 39-88. Springer, (2017)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

lin A David

David A Traill

David A Wuttke

David A Lazica

David A M Goslings

 

Weitere Publikationen von Autoren mit dem selben Namen

Ideal Models for Pointwise Relational and State-Free Imperative Programming.. PPDP, Seite 4-15. ACM, (2001)On assertion-based encapsulation for object invariants and simulations.. Formal Aspects Comput., 19 (2): 205-224 (2007)A Relational Program Logic with Data Abstraction and Dynamic Framing., , , und . ACM Trans. Program. Lang. Syst., 44 (4): 25:1-25:136 (Dezember 2022)Behavioral Subtyping, Specification Inheritance, and Modular Reasoning., und . ACM Trans. Program. Lang. Syst., 37 (4): 13:1-13:88 (2015)Alignment Completeness for Relational Hoare Logics., und . LICS, Seite 1-13. IEEE, (2021)Inlined Information Flow Monitoring for JavaScript., und . CCS, Seite 629-643. ACM, (2015)Using Access Control for Secure Information Flow in a Java-like Language., und . CSFW, Seite 155-169. IEEE Computer Society, (2003)Regional Logic for Local Reasoning about Global Invariants., , und . ECOOP, Volume 5142 von Lecture Notes in Computer Science, Seite 387-411. Springer, (2008)Hypercollecting semantics and its application to static analysis of information flow., , , , und . POPL, Seite 874-887. ACM, (2017)Whither Specifications as Programs., und . UTP, Volume 11885 von Lecture Notes in Computer Science, Seite 39-61. Springer, (2019)