( en | de | ru )

 

Disambiguierung von "Naumann, David A."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
03411 Abstracts Collection - Language Based Security.

, , , und . Language Based Security, Volume 03411 von Dagstuhl Seminar Proceedings, IBFI, Schloss Dagstuhl, Germany, (2003)

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)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)Alignment Completeness for Relational Hoare Logics., und . LICS, Seite 1-13. IEEE, (2021)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)On assertion-based encapsulation for object invariants and simulations.. Formal Aspects Comput., 19 (2): 205-224 (2007)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)