Completeness of global evaluation logic (2006)

Cached

Download Links

by Sergey Goncharov , Lutz Schröder , Till Mossakowski
Venue:IN MFCS 06, LNCS 4162
Citations:2 - 1 self

Documents Related by Co-Citation

88 Categorical Logic – Andrew M. Pitts - 1995
12 Monad-independent dynamic logic in HasCasl – Lutz Schröder, Till Mossakowski
19 A General Semantics for Evaluation Logic – Eugenio Moggi - 1994
733 Notions of Computation and Monads – Eugenio Moggi - 1991
1369 An axiomatic basis for computer programming – C. A. R. Hoare - 1969
2 Monadic Dynamic Logic: Application and Implementation – Dennis Walter - 2005
2 Lisaac: The Power of Simplicity At Work for Operating System – Benoît Sonntag, Dominique Colnet - 2002
32 The Sather Language – Stephen M Omohundro - 1991
9 Java program verification in higher order logic with PVS and Isabelle – M Huisman - 2001
1 The D programming language. Dr – Walter Bright - 2002
1 Sergey Goncharov. A generic complete dynamic logic for reasoning about purity and effects – Till Mossakowski, Lutz Schröder
23 Side Effects and Aliasing Can Have Simple Axiomatic Descriptions – Hans-Juergen Boehm - 1985
6 Generic Exception Handling and the Java Monad – Lutz Schröder, Till Mossakowski - 2004
3 Coalgebras and Monads in the Semantics of Java. Theoret – B Jacobs, E Poll
10 Monad-independent Hoare Logic in HasCasl – Lutz Schröder, Till Mossakowski - 2003
10 de Paiva. Computational types from a logical perspective – P N Benton, G M Bierman, V C V - 1995
12 Varieties of effects – Carsten Führmann - 2002
3 The Nice user’s manual. http://nice. sourceforge.net/manual.html – Daniel Bonniot, Bryn Keller, Francis Barber - 2008
62 A Dynamic Logic for the Formal Verification of Java Card Programs – Bernhard Beckert - 2001