BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Denmark
1 × Finland
1 × France
2 × Cyprus
2 × Italy
2 × USA
2 × United Kingdom
Collaborated with:
A.Banerjee A.Cavalcanti S.Rosenberg M.Barnett S.M.Shaner G.T.Leavens Q.Sun Mounir Assaf J.Signoles Eric Totel Frédéric Tronel
Talks about:
inform (3) state (3) order (3) encapsul (2) program (2) modular (2) languag (2) semant (2) region (2) reason (2)

Person: David A. Naumann

DBLP DBLP: Naumann:David_A=

Contributed to:

VMCAI 20122012
ESOP 20102010
ECOOP 20082008
OOPSLA 20072007
ECOOP 20052005
FASE 20052005
LICS 20042004
SAS 20042004
FME 20022002
POPL 20022002
PPDP 20012001
World Congress on Formal Methods 19991999
POPL 20172017

Wrote 13 papers:

VMCAI-2012-RosenbergBN #logic
Decision Procedures for Region Logic (SR, AB, DAN), pp. 379–395.
ESOP-2010-NaumannB #bound #first-order #higher-order #information management
Dynamic Boundaries: Information Hiding by Second Order Framing with First Order Assertions (DAN, AB), pp. 2–22.
ECOOP-2008-BanerjeeNR #invariant #logic #reasoning
Regional Logic for Local Reasoning about Global Invariants (AB, DAN, SR), pp. 387–411.
OOPSLA-2007-ShanerLN #composition #higher-order #source code #verification
Modular verification of higher-order methods with mandatory calls specified by model programs (SMS, GTL, DAN), pp. 351–368.
ECOOP-2005-BanerjeeN #encapsulation
State Based Ownership, Reentrance, and Encapsulation (AB, DAN), pp. 387–411.
FASE-2005-Naumann #encapsulation
Observational Purity and Encapsulation (DAN), pp. 190–204.
LICS-2004-NaumannB #imperative #invariant #reasoning #towards
Towards Imperative Modules: Reasoning about Invariants and Sharing of Mutable State (DAN, MB), pp. 313–323.
SAS-2004-SunBN #composition #constraints #data flow #object-oriented
Modular and Constraint-Based Information Flow Inference for an Object-Oriented Language (QS, AB, DAN), pp. 84–99.
FME-2002-CavalcantiN #refinement #simulation
Forward Simulation for Data Refinement of Classes (AC, DAN), pp. 471–490.
POPL-2002-BanerjeeN #data access #independence #representation
Representation independence, confinement and access control [extended abstract] (AB, DAN), pp. 166–177.
PPDP-2001-Naumann #imperative #modelling #programming #relational
Ideal Models for Pointwise Relational and State-Free Imperative Programming (DAN), pp. 4–15.
FM-v2-1999-CavalcantiN #object-oriented #refinement #semantics
A Weakest Precondition Semantics for an Object-Oriented Language of Refinement (AC, DAN), pp. 1439–1459.
POPL-2017-AssafNSTT #data flow #semantics #static analysis
Hypercollecting semantics and its application to static analysis of information flow (MA, DAN, JS, ET, FT), pp. 874–887.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.