Bernhard Reus
Cited by
Cited by
Monadic presentations of lambda terms using generalized inductive types
T Altenkirch, B Reus
Computer Science Logic: 13th International Workshop, CSL’99 8th Annual …, 1999
Classical logic, continuation semantics and abstract machines
T Streicher, B Reus
Journal of functional programming 8 (6), 543-572, 1998
Step-indexed Kripke models over recursive worlds
L Birkedal, B Reus, J Schwinghammer, K Stĝvring, J Thamsborg, H Yang
ACM SIGPLAN Notices 46 (1), 119-132, 2011
An event-based structural operational semantics of multi-threaded Java
P Cenciarelli, A Knapp, B Reus, M Wirsing
Formal syntax and semantics of Java, 157-200, 1999
Nested Hoare triples and frame rules for higher-order store
J Schwinghammer, L Birkedal, B Reus, H Yang
Logical Methods in Computer Science 7, 2011
Continuation semantics or expressing implication by negation
Y Lafont, B Reus, T Streicher
Univ. München, Inst. für Informatik, 1993
A Hoare calculus for verifying Java realizations of OCL-constrained design models
B Reus, M Wirsing, R Hennicker
Fundamental Approaches to Software Engineering: 4th International Conference …, 2001
General synthetic domain theory–a logical approach
B Reus, T Streicher
Mathematical Structures in Computer Science 9 (2), 177-223, 1999
CD28null pro-atherogenic CD4 T-cells explain the link between CMV infection and an increased risk of cardiovascular death
A Pera, S Caserta, F Albanese, P Blowers, G Morrow, N Terrazzini, ...
Theranostics 8 (16), 4509, 2018
From sequential to multi-threaded Java: An event-based operational semantics
P Cenciarelli, A Knapp, B Reus, M Wirsing
Algebraic Methodology and Software Technology: 6th International Conference …, 1997
A semantic foundation for hidden state
J Schwinghammer, H Yang, L Birkedal, F Pottier, B Reus
Foundations of Software Science and Computational Structures: 13th …, 2010
Separation logic for higher-order store
B Reus, J Schwinghammer
Computer Science Logic: 20th International Workshop, CSL 2006, 15th Annual …, 2006
Semantics and logic of object calculi
B Reus, T Streicher
Theoretical Computer Science 316 (1-3), 191-213, 2004
A simple model of separation logic for higher-order store
L Birkedal, B Reus, J Schwinghammer, H Yang
Automata, Languages and Programming: 35th International Colloquium, ICALP …, 2008
Program verification in synthetic domain theory
B Reus
Shaker, 1996
Limits of computation
B Reus
Springer International Publishing AG, 2016
About Hoare logics for higher-order store
B Reus, T Streicher
International Colloquium on Automata, Languages, and Programming, 1337-1348, 2005
Formal reasoning about runtime code update
N Charlton, B Horsfall, B Reus
2011 IEEE 27th International Conference on Data Engineering Workshops, 134-138, 2011
Modular semantics and logics of classes
B Reus
Computer Science Logic: 17th International Workshop CSL 2003, 12th Annual …, 2003
Realizability models for type theories
B Reus
Electronic Notes in Theoretical Computer Science 23 (1), 128-158, 1999
The system can't perform the operation now. Try again later.
Articles 1–20