Items for Reus, Bernhard

Up a level
Export as [feed] RSS
Group by: Item Type | No Grouping
Number of items: 32.

Article

Pera Rojas, Alejandra, Caserta, Stefano, Albanese, Fabio, Blowers, Pinar, Morrow, George, Terrazzini, Nadia, Smith, Helen E, Rajkumar, Chakravarthi, Reus, Bernhard, Msonda, James R, Verboom, Murielle, Hallenensleben, Michael, Blasczyk, Rainer, Davies, Kevin A and Kern, Florian (2018) CD28null pro-atherogenic CD4 T-cells explain the link between CMV infection and an increased risk of cardiovascular death. Theranostics, 8 (16). pp. 4509-4519. ISSN 1838-7640

Reus, Bernhard, Charlton, Nathaniel and Horsfall, Ben (2015) Symbolic execution proofs for higher order store programs. Journal of Automated Reasoning, 54 (3). pp. 199-284. ISSN 0168-7433

Charlton, Nathaniel and Reus, Bernhard (2013) Specification patterns for reasoning about recursion through the store. Information and Computation, 231. pp. 167-203. ISSN 0890-5401

Schwinghammer, Jan, Birkedal, Lars, Pottier, Francois, Reus, Bernhard, Stovring, Kristian and Yang, Hongseok (2012) A step-indexed Kripke model of hidden state. Mathematical Structures in Computer Science, 23 (1). pp. 1-54. ISSN 0960-1295

Schwinghammer, Jan, Birkedal, Lars, Reus, Bernhard and Yang, Hongseok (2011) Nested Hoare Triples and Frame Rules for Higher-order Store. Logical Methods in Computer Science, 7 (3). pp. 1-42. ISSN 1860-5974

Reus, Bernhard and Schwinghammer, Jan (2006) Denotational semantics for a program logic of objects. Mathematical Structures in Computer Science, 16 (2). :313-358. ISSN 1469-8072

Reus, Bernhard and Streicher, Thomas (2004) Semantics and logic of object calculi. Theoretical Computer Science, 316 (1-3). pp. 191-213. ISSN 0304-3975

Reus, Bernhard (1999) Formalizing synthetic domain theory - the basic definitions. Journal of Automated Reasoning, 23 (3-4). pp. 411-444. ISSN 01687433

Reus, Bernhard (1999) Extensional Σ-spaces in type theory. Applied Categorical Structures, 7 (1-2). pp. 159-183. ISSN 0927-2852

Reus, Bernhard and Streicher, Thomas (1999) General Synthetic Domain Theory - A Logical Approach. Mathematical Structures in Computer Science, 9 (2). pp. 177-223. ISSN 0960-1295

Reus, Bernhard and Streicher, Thomas (1999) General synthetic domain theory – a logical approach. Mathematical Structures in Computer Science, 9 (2). pp. 177-223. ISSN 0960-1295

Streicher, Th and Reus, B (1998) Classical logic, continuation semantics and abstract machines. Journal of Functional Programming, 8 (6). pp. 543-572. ISSN 0956-7968

Book Section

Charlton, Nathaniel, Horsfall, Ben and Reus, Bernhard (2012) Crowfoot: a verifier for higher-order store programs. In: Verification, Model Checking, and Abstract Interpretation. Lecture Notes in Computer Science, 7148 . Springer, pp. 136-151. ISBN 978-3-642-27940-9

Birkedal, Lars, Reus, Bernhard, Schwinghammer, Jan, Stovring, Kristian, Thamsborg, Jacob and Yang, Hongseok (2011) Step-indexed kripke models over recursive worlds. In: Thomas, B and Mooly, S (eds.) POPL '11 Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. ACM, pp. 119-132. ISBN 978-1-4503-0490-0

Reus, Bernhard and Streicher, Thomas (2005) About Hoare Logics for Higher-Order Store. In: Caires, L., Italiano, G.F., Monteiro, L., Palamidessi, C. and Yung, M. (eds.) Automata, Languages and Programming: Proceedings of the 32nd International Colloquim, ICALP 2005, Lisbon, Portugal. Lecture Notes in Computer Science, 3580 . Springer Verlag, Berlin, Germany, pp. 1337-1348. ISBN 9783540275800

Reus, Bernhard and Schwinghammer, Jan (2005) Denotational Semantics for Abadi and Leino's Logic of Objects. In: Sagiv, Mooly (ed.) Programming Languages and Systems: Proceedings of the 14th European Symposium on Programming, ESOP 2005, Edinburgh, UK. Lecture Notes in Computer Science, 3444 . Springer, pp. 263-278. ISBN 9783540254355

Pattinson, Dirk and Reus, Bernhard (2005) A complete temporal and spatial logic for distributed dystems. In: Gramlich, Bernhard (ed.) Frontiers of Combining Systems: Proceedings of the 5th International Workshop, FroCoS 2005, Vienna, Austria. Lecture Notes in Computer Science, 3717 . Springer, pp. 122-137. ISBN 9783540290513

Reus, Bernhard (2003) Modular Semantics and Logics of Classes. In: Baaz, Matthias and Makowsky, Johann A. (eds.) Computer Science Logic. Lecture Notes in Computer Science, 2803 . Springer Berlin / Heidelberg, pp. 456-469. ISBN 9783540408017

Reus, B. and Streicher, T. (2002) Semantics and logic of object calculi. In: Proceedings of the 17th Annual IEEE Symposium on Logic in Computer Science. IEEE Publications, pp. 113-122.

Reus, Bernhard (2002) Class-based versus object-based: a denotational comparison. In: Kirchner, Helene and Ringeissen, Christophe (eds.) Algebraic Methodology and Software Technology: Proceedings of the 9th International Conference, AMAST 2002, Saint-Gilles-les- Bains, Reunion Island, France. Lecture Notes in Computer Science, 2422 . Springer-Verlag, London, UK., pp. 45-88. ISBN 3540441441

Reus, Bernhard, Wirsing, Martin and Hennicker, Rolf (2001) A Hoare calculus for verifying Java realizations of OCL-constrained design models. In: Hussmann, Heinrich (ed.) Proceedings in Fundamental Approaches to Software Engineering: 4th International Conference, FASE 2001, Genova, Italy. Lecture Notes in Computer Science, 2029 . Springer Berlin / Heidelberg, pp. 300-317. ISBN 9783540418634

Reus, Bernhard and Hein, Tatjana (2000) Towards a Machine-Checked Java Specification Book. In: Aagaard, Mark and Harrison, John (eds.) Theorem Proving in Higher Order Logics: Proceedings of the 13th International Conference, TPHOLs 2000 Portland, OR, USA. Lecture Notes in Computer Science, 1869 . Springer-Verlag, pp. 480-497. ISBN 9783540678632

Cenciarelli, Pietro, Knapp, Alexander, Reus, Bernhard and Wirsing, Martin (1999) An Event-Based Structural Operational Semantics of Multi-Threaded Java. In: Alves-Foss, Jim (ed.) Formal Syntax and Semantics of Java. Lecture Notes in Computer Science, 1523 . Springer-Verlag, Berlin, Germany, pp. 157-200. ISBN 9783540661580

Altenkirch, Thorsten and Reus, Bernhard (1999) Monadic Presentations of Lambda Terms Using Generalized Inductive Types. In: Flum, Jörg and Rodriguez-Artalejo, Mario (eds.) Computer Science Logic: Proceedings of the 13th International Workshop CSL '99, 8th Annual Conference of the EACSL, Madrid, Spain. Lecture Notes in Computer Science, 1863 . Springer-Verlag, pp. 453-468. ISBN 9783540665366

Conference or Workshop Item

Reus, Bernhard and Streicher, Thomas (2011) Relative Completeness for Logics of Functional Programs. In: Computer Science Logic, 25th International Workshop / 20th Annual Conference of the EACSL, CSL 2011, Bergen (Norway).

Schwinghammer, Jan, Yang, Hongseok, Birkedal, Lars, Pottier, Francois and Reus, Bernhard (2010) A semantic foundation for hidden state. In: FOSSACS 2010, March 20-28, 2010., Paphos.

Birkedal, Lars, Reus, Bernhard, Schwinghammer, Jan and Yang, Hongseok (2008) A simple model of separation logic for higher-order store. In: 35th International Colloquium on Automata, Languages and Programming, Keykjavik, ICELAND, JUL 07-11, 2008.

Reus, Bernhard and Schwinghammer, Jan (2006) Separation Logic for Higher-Order Store. In: Computer Science Logic 2006, Szeged, Hungary.

Reus, Bernhard and Streicher, Thomas (2005) About Hoare Logics for Higher-order Store. In: 32nd International Colloquium on Automata, Languages and Programming Languages (ICALP), LNCS, Lisbon.

Reus, Bernhard and Schwinghammer, Jan (2005) Denotational Semantics for Abadi and Leino's Logic of Objects. In: 14th European Symposium on Programming (ESOP), LNCS, Edinburgh.

Reus, Bernhard (2003) Modular Semantics and Logics of Classes. In: 12th Annual Conference of the European-Association-for-Computer-Logic/8th Kurt Godel Colloquium/17th International Workshop on Computer Science Logic, Vienna, Austria.

Reus, Bernhard and Streicher, Thomas (2002) Semantics and Logic of Object Calculi. In: 17th Symposium on Logic in Computer Science, Copenhagen.

This list was generated on Wed Aug 15 22:23:26 2018 BST.