Joakim von Wright

Kim Solin, Joakim von Wright: Enabledness and termination in refinement algebra. Sci. Comput. Program. 74(8): 654-668 (2009)

Kim Solin, Joakim von Wright: Refinement Algebra with Operators for Enabledness and Termination. MPC 2006: 397-415

Joakim von Wright: Towards a refinement algebra. Sci. Comput. Program. 51(1-2): 23-45 (2004)

Ralph-Johan Back, Joakim von Wright: Compositional Action System Refinement. Formal Asp. Comput. 15(2-3): 103-117 (2003)

Orieta Celiku, Joakim von Wright: Implementing Angelic Nondeterminism. APSEC 2003: 176-185

John Derrick, Eerke A. Boiten, Jim Woodcock, Joakim von Wright: Preface. Electr. Notes Theor. Comput. Sci. 70(3): 1-2 (2002)

Ralph-Johan Back, Joakim von Wright: Compositional Action System Refinement. Electr. Notes Theor. Comput. Sci. 70(3): 3 (2002)

Orieta Celiku, Joakim von Wright: Theorem Prover Support for Precondition and Correctness Calculation. ICFEM 2002: 299-310

Joakim von Wright: From Kleene Algebra to Refinement Algebra. MPC 2002: 233-262

Ralph-Johan Back, Anna Mikhajlova, Joakim von Wright: Class Refinement as Semantics of Correct Object Substitutability. Formal Asp. Comput. 12(1): 18-40 (2000)

Ralph-Johan Back, Joakim von Wright: Encoding, Decoding and Data Refinement. Formal Asp. Comput. 12(5): 313-349 (2000)

Ralph-Johan Back, Joakim von Wright: Contracts, Games, and Refinement. Inf. Comput. 156(1-2): 25-45 (2000)

Joakim von Wright: Distance tutorials in a systems design course. ITiCSE 2000: 105-107

Linas Laibinis, Joakim von Wright: Functional Procedures in Higher-Order Logic. TPHOLs 2000: 372-387

Ralph-Johan Back, Joakim von Wright: Refinement calculus - a systematic introduction. Undergraduate texts in computer science, Springer 1999, isbn 978-0-387-98417-9, pp. I-XV, 1-519

Ralph-Johan Back, Joakim von Wright: Reasoning Algebraically about Loops. Acta Inf. 36(4): 295-334 (1999)

Ralph-Johan Back, Anna Mikhajlova, Joakim von Wright: Reasoning About Interactive Systems. World Congress on Formal Methods 1999: 1460-1476

Joakim von Wright: Extending Window Inference. TPHOLs 1998: 17-32

Anna Mikhajlova, Joakim von Wright: Proving Isomorphism of First-Order Logic Proof Systems in HOL. TPHOLs 1998: 295-314

Rimvydas Ruksenas, Joakim von Wright: A Tool for Data Refinement. TPHOLs 1998: 423-441

Ralph-Johan Back, Joakim von Wright: Contracts, games and refinement. Electr. Notes Theor. Comput. Sci. 7: 20-33 (1997)

Ralph-Johan Back, Jim Grundy, Joakim von Wright: Structured Calculational Proof. Formal Asp. Comput. 9(5-6): 469-483 (1997)

Thomas Långbacka, Joakim von Wright: Refining Reactive Systems in HOL Using Action Systems. TPHOLs 1997: 183-197

Joakim von Wright, Jim Grundy, John Harrison (Eds.): Theorem Proving in Higher Order Logics, 9th International Conference, TPHOLs'96, Turku, Finland, August 26-30, 1996, Proceedings. Lecture Notes in Computer Science 1125, Springer 1996, isbn 3-540-61587-3

Joakim von Wright: Representing Higher-Order Logic Proofs in HOL. Comput. J. 38(2): 171-179 (1995)

Ralph-Johan Back, Joakim von Wright: Games and Winning Strategies. Inf. Process. Lett. 53(3): 165-172 (1995)

Thomas Långbacka, Rimvydas Ruksenas, Joakim von Wright: TkWinHOL: A Tool for Window Inference in HOL. TPHOLs 1995: 245-260

Joakim von Wright: The Lattice of Data Refinement. Acta Inf. 31(2): 105-135 (1994)

Ralph-Johan Back, Joakim von Wright: Trace Refinement of Action Systems. CONCUR 1994: 367-384

Joakim von Wright: Representing Higher-Order Logic Proofs in HOL. TPHOLs 1994: 456-470

Joakim von Wright, Jukka Hekanaho, P. Luostarinen, Thomas Långbacka: Mechanizing Some Advanced Refinement Concepts. Formal Methods in System Design 3(1/2): 49-81 (1993)

Ralph-Johan Back, Joakim von Wright: Statement Inversion and Strongest Postcondition. Sci. Comput. Program. 20(3): 223-251 (1993)

Ralph-Johan Back, Joakim von Wright: Combining Angles, Demons and Miracles in Program Specifications. Theor. Comput. Sci. 100(2): 365-383 (1992)

Joakim von Wright, Thomas Långbacka: Using a Theorem Prover for Reasoning about Concurrent Algorithms. CAV 1992: 56-68

Ralph-Johan Back, Joakim von Wright: Predicate Transformers and Higher Order Logic. REX Workshop 1992: 1-20

Joakim von Wright, Jukka Hekanaho, P. Luostarinen, Thomas Långbacka: Mechanising some Advanced Refinement Concepts. TPHOLs 1992: 307-326

Joakim von Wright: Program Inversion in the Refinement Calculus. Inf. Process. Lett. 37(2): 95-100 (1991)

Joakim von Wright: Mechanising the Temporal Logic of Actions in HOL. TPHOLs 1991: 155-159

Joakim von Wright, Kaisa Sere: Program Transformations and Refinements in HOL. TPHOLs 1991: 231-239

Ralph-Johan Back, Joakim von Wright: Refinement Concepts Formalised in Higher Order Logic. Formal Asp. Comput. 2(3): 247-272 (1990)

Ralph-Johan Back, Joakim von Wright: Duality in Specification Languages: A Lattice-Theoretical Approach. Acta Inf. 27(7): 583-625 (1989)

Ralph-Johan Back, Joakim von Wright: A Lattice-theoretical Basis for a Specification Language. MPC 1989: 139-156

Ralph-Johan Back, Joakim von Wright: Refinement Calculus, Part I: Sequential Nondeterministic Programs. REX Workshop 1989: 42-66