Items for Reus, Bernhard

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

Article

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 Fri Jul 21 01:40:14 2017 BST.