Stephan van Staden

According to our database, Stephan van Staden authored at least 12 papers between 2010 and 2016.

Collaborative distances:

• Dijkstra number of two.
• Erdős number of four.

2016

Developments in concurrent Kleene algebra.

Tony Hoare, Stephan van Staden, Bernhard Möller, Georg Struth, Huibiao Zhu

J. Log. Algebraic Methods Program., 2016

2015

On Rely-Guarantee Reasoning.

Stephan van Staden

Proceedings of the Mathematics of Program Construction - 12th International Conference, 2015

2014

The laws of programming unify process calculi.

Tony Hoare, Stephan van Staden

Sci. Comput. Program., 2014

Constructing the Views Framework.

Stephan van Staden

Proceedings of the Unifying Theories of Programming - 5th International Symposium, 2014

Developments in Concurrent Kleene Algebra.

Tony Hoare, Stephan van Staden, Bernhard Möller, Georg Struth, Jules Villard, Huibiao Zhu, Peter W. O'Hearn

Proceedings of the Relational and Algebraic Methods in Computer Science, 2014

2013

Enhancing separation logic for object-orientation.

Stephan van Staden

PhD thesis, 2013

2012

In praise of algebra.

Tony Hoare, Stephan van Staden

Formal Aspects Comput., 2012

A Framework for Concurrent Imperative Programming

Stephan van Staden

CoRR, 2012

Algebra Unifies Operational Calculi.

Stephan van Staden, Tony Hoare

Proceedings of the Unifying Theories of Programming, 4th International Symposium, 2012

Freefinement.

Stephan van Staden, Cristiano Calcagno, Bertrand Meyer

Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012

2010

Reasoning about multiple related abstractions with MultiStar.

Stephan van Staden, Cristiano Calcagno

Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

Verifying Executable Object-Oriented Specifications with Separation Logic.

Stephan van Staden, Cristiano Calcagno, Bertrand Meyer

Proceedings of the ECOOP 2010, 2010