The following pages link to Bernhard Reus (Q287262):
Displaying 34 items.
- Symbolic execution proofs for higher order store programs (Q287265) (← links)
- Specification patterns for reasoning about recursion through the store (Q393092) (← links)
- A synthetic theory of sequential domains (Q424548) (← links)
- Limits of computation. From a programming perspective (Q518688) (← links)
- Extensional \(\Sigma\)-spaces in type theory (Q1306715) (← links)
- Semantics and logic of object calculi (Q1434358) (← links)
- Formalizing synthetic domain theory. The basic definitions (Q1961922) (← links)
- Towards model checking real-world software-defined networks (Q2226729) (← links)
- (Q2754065) (← links)
- (Q2764133) (← links)
- Crowfoot: A Verifier for Higher-Order Store Programs (Q2891407) (← links)
- Relative Completeness for Logics of Functional Programs (Q2915704) (← links)
- Class-Based versus Object-Based: A Denotational Comparison (Q2996130) (← links)
- Specification Patterns and Proofs for Recursion through the Store (Q3088293) (← links)
- Nested Hoare Triples and Frame Rules for Higher-order Store (Q3224687) (← links)
- A Simple Model of Separation Logic for Higher-Order Store (Q3519513) (← links)
- A Semantic Foundation for Hidden State (Q3557840) (← links)
- Separation Logic for Higher-Order Store (Q3613364) (← links)
- Nested Hoare Triples and Frame Rules for Higher-Order Store (Q3644765) (← links)
- Classical logic, continuation semantics and abstract machines (Q4240152) (← links)
- General synthetic domain theory – a logical approach (Q4248542) (← links)
- (Q4335371) (← links)
- (Q4362975) (← links)
- A step-indexed Kripke model of hidden state (Q4911302) (← links)
- (Q4945244) (← links)
- Computer Science Logic (Q5292658) (← links)
- Programming Languages and Systems (Q5316569) (← links)
- Step-indexed kripke models over recursive worlds (Q5408537) (← links)
- Denotational semantics for a program logic of objects (Q5481596) (← links)
- Frontiers of Combining Systems (Q5491896) (← links)
- (Q5687242) (← links)
- Automata, Languages and Programming (Q5716757) (← links)
- Interpreting knowledge-based programs (Q6535240) (← links)
- Synthetic domain theory in type theory: another logic of computable functions (Q6567725) (← links)
