Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="Naumann, David A."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Local reasoning for global invariants, Part I: Region logic
Anindya Banerjee
,
David A. Naumann
,
Stan Rosenberg
Journal of the ACM
60
(3), 2013, pp. 18: 1-56
Local reasoning for global invariants, Part II: Dynamic boundaries
Anindya Banerjee
,
David A. Naumann
Journal of the ACM
60
(3), 2013, pp. 19: 1-73
Refactoring and representation independence for class hierarchies
David A. Naumann
,
Augusto Sampaio
,
Leila Silva
Theoretical Computer Science
433
, 2012, pp. 60-97
Observational purity and encapsulation
David A. Naumann
Theoretical Computer Science
376
(3), 2007, pp. 205-224
Towards imperative modules: Reasoning about invariants and sharing of mutable state
David A. Naumann
,
Mike Barnett
Theoretical Computer Science
365
(1-2), 2006, pp. 143-168
Ownership confinement ensures representation independence for object-oriented programs
Anindya Banerjee
,
David A. Naumann
Journal of the ACM
52
(6), 2005, pp. 894-960
Soundness of data refinement for a higher-order imperative language
David A. Naumann
Theoretical Computer Science
278
(1-2), 2002, pp. 271-301
Calculating sharp adaptation rules
David A. Naumann
Information Processing Letters
77
(2-4), 2001, pp. 201-208
Predicate transformers and higher-order programs
David A. Naumann
Theoretical Computer Science
150
(1), 1995, pp. 111-159
A recursion theorem for predicate transformers on inductive data types
David A. Naumann
Information Processing Letters
50
, 1994, pp. 329-336