Joakim von Wright

According to our database1, Joakim von Wright
  • authored at least 42 papers between 1989 and 2009.
  • has a "Dijkstra number"2 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2009
Enabledness and termination in refinement algebra.
Sci. Comput. Program., 2009

2006
Refinement Algebra with Operators for Enabledness and Termination.
Proceedings of the Mathematics of Program Construction, 8th International Conference, 2006

2004
Towards a refinement algebra.
Sci. Comput. Program., 2004

2003
Compositional Action System Refinement.
Formal Asp. Comput., 2003

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

2002
Preface.
Electr. Notes Theor. Comput. Sci., 2002

Compositional Action System Refinement.
Electr. Notes Theor. Comput. Sci., 2002

From Kleene Algebra to Refinement Algebra.
Proceedings of the Mathematics of Program Construction, 6th International Conference, 2002

Theorem Prover Support for Precondition and Correctness Calculation.
Proceedings of the Formal Methods and Software Engineering, 2002

2000
Contracts, Games, and Refinement.
Inf. Comput., 2000

Encoding, Decoding and Data Refinement.
Formal Asp. Comput., 2000

Class Refinement as Semantics of Correct Object Substitutability.
Formal Asp. Comput., 2000

Functional Procedures in Higher-Order Logic.
Proceedings of the Theorem Proving in Higher Order Logics, 13th International Conference, 2000

Distance tutorials in a systems design course.
Proceedings of the 5th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2000

1999
Reasoning Algebraically about Loops.
Acta Inf., 1999

Reasoning About Interactive Systems.
Proceedings of the FM'99 - Formal Methods, 1999

1998
Extending Window Inference.
Proceedings of the Theorem Proving in Higher Order Logics, 11th International Conference, 1998

A Tool for Data Refinement.
Proceedings of the Theorem Proving in Higher Order Logics, 11th International Conference, 1998

Proving Isomorphism of First-Order Logic Proof Systems in HOL.
Proceedings of the Theorem Proving in Higher Order Logics, 11th International Conference, 1998

Refinement Calculus - A Systematic Introduction.
Graduate Texts in Computer Science, Springer, ISBN: 978-1-4612-1674-2, 1998

1997
Structured Calculational Proof.
Formal Asp. Comput., 1997

Contracts, games and refinement.
Electr. Notes Theor. Comput. Sci., 1997

Refining Reactive Systems in HOL Using Action Systems.
Proceedings of the Theorem Proving in Higher Order Logics, 10th International Conference, 1997

1995
Games and Winning Strategies.
Inf. Process. Lett., 1995

Representing Higher-Order Logic Proofs in HOL.
Comput. J., 1995

TkWinHOL: A Tool for Window Inference in HOL.
Proceedings of the Higher Order Logic Theorem Proving and Its Applications, 1995

1994
The Lattice of Data Refinement.
Acta Inf., 1994

Representing Higher-Order Logic Proofs in HOL.
Proceedings of the Higher Order Logic Theorem Proving and Its Applications, 1994

Trace Refinement of Action Systems.
Proceedings of the CONCUR '94, 1994

1993
Statement Inversion and Strongest Postcondition.
Sci. Comput. Program., 1993

Mechanizing Some Advanced Refinement Concepts.
Formal Methods in System Design, 1993

1992
Combining Angles, Demons and Miracles in Program Specifications.
Theor. Comput. Sci., 1992

Mechanising some Advanced Refinement Concepts.
Proceedings of the Higher Order Logic Theorem Proving and its Applications, 1992

Predicate Transformers and Higher Order Logic.
Proceedings of the Sematics: Foundations and Applications, 1992

Using a Theorem Prover for Reasoning about Concurrent Algorithms.
Proceedings of the Computer Aided Verification, Fourth International Workshop, 1992

1991
Program Inversion in the Refinement Calculus.
Inf. Process. Lett., 1991

Program Transformations and Refinements in HOL.
Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications, 1991

Mechanising the Temporal Logic of Actions in HOL.
Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications, 1991

1990
Refinement Concepts Formalised in Higher Order Logic.
Formal Asp. Comput., 1990

Duality in Specification Languages: A Lattice-Theoretical Approach.
Acta Inf., 1990

1989
Refinement Calculus, Part I: Sequential Nondeterministic Programs.
Proceedings of the Stepwise Refinement of Distributed Systems, 1989

A Lattice-theoretical Basis for a Specification Language.
Proceedings of the Mathematics of Program Construction, 1989


  Loading...