Bernhard Reus
Título
Citado por
Citado por
Ano
Monadic presentations of lambda terms using generalized inductive types
T Altenkirch, B Reus
International Workshop on Computer Science Logic, 453-468, 1999
1731999
Classical logic, continuation semantics and abstract machines
T Streicher, B Reus
Journal of functional programming 8 (6), 543-572, 1998
1591998
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
1061999
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
902011
Continuation semantics or expressing implication by negation
Y Lafont, B Reus, T Streicher
Univ. München, Inst. für Informatik, 1993
761993
Nested Hoare triples and frame rules for higher-order store
J Schwinghammer, L Birkedal, B Reus, H Yang
International Workshop on Computer Science Logic, 440-454, 2009
732009
A Hoare calculus for verifying Java realizations of OCL-constrained design models
B Reus, M Wirsing, R Hennicker
International Conference on Fundamental Approaches to Software Engineering …, 2001
552001
From sequential to multi-threaded Java: An event-based operational semantics
P Cenciarelli, A Knapp, B Reus, M Wirsing
International Conference on Algebraic Methodology and Software Technology, 75-90, 1997
411997
General synthetic domain theory–a logical approach
B Reus, T Streicher
Mathematical Structures in Computer Science 9 (2), 177-223, 1999
401999
A semantic foundation for hidden state
J Schwinghammer, H Yang, L Birkedal, F Pottier, B Reus
International Conference on Foundations of Software Science and …, 2010
372010
Separation logic for higher-order store
B Reus, J Schwinghammer
International Workshop on Computer Science Logic, 575-590, 2006
362006
Semantics and logic of object calculi
B Reus, T Streicher
Theoretical Computer Science 316 (1-3), 191-213, 2004
342004
Program verification in synthetic domain theory
B Reus
Shaker, 1996
261996
A simple model of separation logic for higher-order store
L Birkedal, B Reus, J Schwinghammer, H Yang
International Colloquium on Automata, Languages, and Programming, 348-360, 2008
252008
Effects of motivation and depletion on the ability to resist the temptation to avoid physical activity
PC Rouse, N Ntoumanis, JL Duda
International Journal of Sport and Exercise Psychology 11 (1), 39-56, 2013
222013
Modular semantics and logics of classes
B Reus
International Workshop on Computer Science Logic, 456-469, 2003
192003
Formal reasoning about runtime code update
N Charlton, B Horsfall, B Reus
2011 IEEE 27th International Conference on Data Engineering Workshops, 134-138, 2011
182011
About Hoare logics for higher-order store
B Reus, T Streicher
International Colloquium on Automata, Languages, and Programming, 1337-1348, 2005
182005
Limits of Computation
B Reus
Springer International Publishing AG, 2016
132016
Class-based versus object-based: A denotational comparison
B Reus
International Conference on Algebraic Methodology and Software Technology …, 2002
132002
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20