Programming Systems Lab: Publications by Bernhard Reus

Saarland University Computer Science

Select author:

2012

A Step-indexed Kripke Model of Hidden State   (pdf)
Jan Schwinghammer, Lars Birkedal, François Pottier, Bernhard Reus, Kristian Støvring, Hongseok Yang
Mathematical Structures in Computer Science

2011

Nested Hoare Triples and Frame Rules for Higher-order Store
Jan Schwinghammer, Lars Birkedal, Bernhard Reus, Hongseok Yang
Logical Methods in Computer Science

Step-indexed Kripke Models over Recursive Worlds   (pdf)
Lars Birkedal, Bernhard Reus, Jan Schwinghammer, Kristian Støvring, Jacob Thamsborg, Hongseok Yang
Principles of Programming Languages (POPL'11)

2010

A Semantic Foundation for Hidden State   (pdf)
Jan Schwinghammer, Hongseok Yang, Lars Birkedal, François Pottier, Bernhard Reus
Foundations of Software Science and Computation Structures (FOSSACS 2010)

2009

Nested Hoare Triples and Frame Rules for Higher-Order Store   (pdf)
Jan Schwinghammer, Lars Birkedal, Bernhard Reus, Hongseok Yang
Computer Science Logic (CSL'09)

2008

A Simple Model of Separation Logic for Higher-order Store   (pdf)
Lars Birkedal, Bernhard Reus, Jan Schwinghammer, Hongseok Yang
Int. Conference Automata Logic and Programming (ICALP'08)

2006

Separation Logic for Higher-order Store   (pdf)
Bernhard Reus, Jan Schwinghammer
Computer Science Logic (CSL'06)

Denotational Semantics for a Program Logic of Objects   (pdf)
Bernhard Reus, Jan Schwinghammer
Mathematical Structures in Computer Science

2005

Denotational Semantics for Abadi and Leino's Logic of Objects   (pdf)
Bernhard Reus, Jan Schwinghammer
The European Symposium on Programming (ESOP'05)


Login to edit


Legal notice, Privacy policy