Joakim von Wright

According to our database, Joakim von Wright authored at least 41 papers between 1989 and 2009.

Collaborative distances:

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

2009

Enabledness and termination in refinement algebra.

Kim Solin, Joakim von Wright

Sci. Comput. Program., 2009

2006

Refinement Algebra with Operators for Enabledness and Termination.

Kim Solin, Joakim von Wright

Proceedings of the Mathematics of Program Construction, 8th International Conference, 2006

2004

Towards a refinement algebra.

Joakim von Wright

Sci. Comput. Program., 2004

2003

Compositional Action System Refinement.

Ralph-Johan Back, Joakim von Wright

Formal Aspects Comput., 2003

Implementing Angelic Nondeterminism.

Orieta Celiku, Joakim von Wright

Proceedings of the 10th Asia-Pacific Software Engineering Conference (APSEC 2003), 2003

2002

Preface.

John Derrick, Eerke A. Boiten, Jim Woodcock, Joakim von Wright

Proceedings of the BCS FACS Refinement Workshop 2002, 2002

From Kleene Algebra to Refinement Algebra.

Joakim von Wright

Proceedings of the Mathematics of Program Construction, 6th International Conference, 2002

Theorem Prover Support for Precondition and Correctness Calculation.

Orieta Celiku, Joakim von Wright

Proceedings of the Formal Methods and Software Engineering, 2002

2000

Encoding, Decoding and Data Refinement.

Ralph-Johan Back, Joakim von Wright

Formal Aspects Comput., 2000

Class Refinement as Semantics of Correct Object Substitutability.

Ralph-Johan Back, Anna Mikhajlova, Joakim von Wright

Formal Aspects Comput., 2000

Functional Procedures in Higher-Order Logic.

Linas Laibinis, Joakim von Wright

Proceedings of the Theorem Proving in Higher Order Logics, 13th International Conference, 2000

Distance tutorials in a systems design course.

Joakim von Wright

Proceedings of the 5th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2000

1999

Reasoning Algebraically about Loops.

Ralph-Johan Back, Joakim von Wright

Acta Informatica, 1999

Reasoning About Interactive Systems.

Ralph-Johan Back, Anna Mikhajlova, Joakim von Wright

Proceedings of the FM'99 - Formal Methods, 1999

1998

Extending Window Inference.

Joakim von Wright

Proceedings of the Theorem Proving in Higher Order Logics, 11th International Conference, 1998

A Tool for Data Refinement.

Rimvydas Ruksenas, Joakim von Wright

Proceedings of the Theorem Proving in Higher Order Logics, 11th International Conference, 1998

Proving Isomorphism of First-Order Logic Proof Systems in HOL.

Anna Mikhajlova, Joakim von Wright

Proceedings of the Theorem Proving in Higher Order Logics, 11th International Conference, 1998

Refinement Calculus - A Systematic Introduction.

Ralph-Johan Back, Joakim von Wright

Graduate Texts in Computer Science, Springer, ISBN: 978-1-4612-1674-2, 1998

1997

Structured Calculational Proof.

Ralph-Johan Back, Jim Grundy, Joakim von Wright

Formal Aspects Comput., 1997

Contracts, games and refinement.

Ralph-Johan Back, Joakim von Wright

Proceedings of the International Workshop on Expressiveness in Concurrency, 1997

Refining Reactive Systems in HOL Using Action Systems.

Thomas Långbacka, Joakim von Wright

Proceedings of the Theorem Proving in Higher Order Logics, 10th International Conference, 1997

1995

Games and Winning Strategies.

Ralph-Johan Back, Joakim von Wright

Inf. Process. Lett., 1995

TkWinHOL: A Tool for Window Inference in HOL.

Thomas Långbacka, Rimvydas Ruksenas, Joakim von Wright

Proceedings of the Higher Order Logic Theorem Proving and Its Applications, 1995

1994

The Lattice of Data Refinement.

Joakim von Wright

Acta Informatica, 1994

Representing Higher-Order Logic Proofs in HOL.

Joakim von Wright

Proceedings of the Higher Order Logic Theorem Proving and Its Applications, 1994

Program Refinement by Theorem Prover.

Joakim von Wright

Proceedings of the 6th Refinement Workshop, 1994

Trace Refinement of Action Systems.

Ralph-Johan Back, Joakim von Wright

Proceedings of the CONCUR '94, 1994

1993

Statement Inversion and Strongest Postcondition.

Ralph-Johan Back, Joakim von Wright

Sci. Comput. Program., 1993

Mechanizing Some Advanced Refinement Concepts.

Joakim von Wright, Jukka Hekanaho, P. Luostarinen, Thomas Långbacka

Formal Methods Syst. Des., 1993

1992

Combining Angles, Demons and Miracles in Program Specifications.

Ralph-Johan Back, Joakim von Wright

Theor. Comput. Sci., 1992

Mechanising some Advanced Refinement Concepts.

Joakim von Wright, Jukka Hekanaho, P. Luostarinen, Thomas Långbacka

Proceedings of the Higher Order Logic Theorem Proving and its Applications, 1992

Predicate Transformers and Higher Order Logic.

Ralph-Johan Back, Joakim von Wright

Proceedings of the Sematics: Foundations and Applications, 1992

Using a Theorem Prover for Reasoning about Concurrent Algorithms.

Joakim von Wright, Thomas Långbacka

Proceedings of the Computer Aided Verification, Fourth International Workshop, 1992

1991

Program Inversion in the Refinement Calculus.

Joakim von Wright

Inf. Process. Lett., 1991

Program Transformations and Refinements in HOL.

Joakim von Wright, Kaisa Sere

Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications, 1991

Mechanising the Temporal Logic of Actions in HOL.

Joakim von Wright

Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications, 1991

1990

Refinement Concepts Formalised in Higher Order Logic.

Ralph-Johan Back, Joakim von Wright

Formal Aspects Comput., 1990

Duality in Specification Languages: A Lattice-Theoretical Approach.

Ralph-Johan Back, Joakim von Wright

Acta Informatica, 1990

Refinement Concepts Formalized in Higher Order Logic.

Ralph-Johan Back, Joakim von Wright

Proceedings of the Programming concepts and methods: Proceedings of the IFIP Working Group 2.2, 1990

1989

Refinement Calculus, Part I: Sequential Nondeterministic Programs.

Ralph-Johan Back, Joakim von Wright

Proceedings of the Stepwise Refinement of Distributed Systems, 1989

A Lattice-theoretical Basis for a Specification Language.

Ralph-Johan Back, Joakim von Wright

Proceedings of the Mathematics of Program Construction, 1989