Completeness of global evaluation logic

Completeness of global evaluation logic (2006)

by Sergey Goncharov , Lutz Schröder , Till Mossakowski

Venue:	IN MFCS 06, LNCS 4162
Citations:	2 - 1 self

651	Notions of Computation and Monads – Eugenio Moggi - 1991
12	Monad-independent dynamic logic in HasCasl – Lutz Schröder, Till Mossakowski
17	A General Semantics for Evaluation Logic – Eugenio Moggi - 1994
1221	An axiomatic basis for computer programming – C. A. R. Hoare - 1969
83	Evaluation Logic – Andrew Pitts - 1990
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
2	The Nice user’s manual. http://nice.sourceforge.net – Daniel Bonniot, Bryn Keller - 2003
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
17	Oheimb. Hoare logic for Java – D von
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
25	The Church-Rosser property and a result in combinatory logic – J R Hindley - 1964
60	A Dynamic Logic for the Formal Verification of Java Card Programs – Bernhard Beckert - 2001
88	The LOOP compiler for Java and JML – Joachim van den Berg, Bart Jacobs - 2001