The following pages link to David A. Naumann (Q210001):
Displaying 32 items.
- Refactoring and representation independence for class hierarchies (Q428866) (← links)
- Predicate transformers and higher-order programs (Q672318) (← links)
- Towards imperative modules: reasoning about invariants and sharing of mutable state (Q854171) (← links)
- Observational purity and encapsulation (Q882452) (← links)
- A recursion theorem for predicate transformers on inductive data types (Q1330667) (← links)
- Soundness of data refinement for a higher-order imperative language (Q1605184) (← links)
- Calculating sharp adaptation rules. (Q1607103) (← links)
- Data refinement, call by value and higher order programs (Q1906039) (← links)
- Unifying theories of programming. 5th international symposium, UTP 2014, Singapore, May 13, 2014. Revised selected papers (Q2339981) (← links)
- Towards patterns for heaps and imperative lambdas (Q2374314) (← links)
- On assertion-based encapsulation for object invariants and simulations (Q2643129) (← links)
- Decision Procedures for Region Logic (Q2891431) (← links)
- Laws of Programming for References (Q2937790) (← links)
- Ownership confinement ensures representation independence for object-oriented programs (Q3546287) (← links)
- Dynamic Boundaries: Information Hiding by Second Order Framing with First Order Assertions (Q3558212) (← links)
- A categorical model for higher order imperative programming (Q4236215) (← links)
- (Q4493905) (← links)
- (Q4636558) (← links)
- Stack-based access control and secure information flow (Q4676153) (← links)
- (Q4808846) (← links)
- Category Theoretic Models of Data Refinement (Q4982051) (← links)
- (Q4994699) (← links)
- Representation independence, confinement and access control [extended abstract] (Q5178904) (← links)
- Mathematics of Program Construction (Q5313101) (← links)
- Fundamental Approaches to Software Engineering (Q5316436) (← links)
- Hypercollecting semantics and its application to static analysis of information flow (Q5370922) (← links)
- Local Reasoning for Global Invariants, Part I (Q5395716) (← links)
- Local Reasoning for Global Invariants, Part II (Q5395717) (← links)
- Static Analysis (Q5466580) (← links)
- Theorem Proving in Higher Order Logics (Q5477657) (← links)
- Formal Methods for Components and Objects (Q5897453) (← links)
- Predicate transformer semantics of a higher-order imperative language with record subtyping (Q5946569) (← links)
