Wright, Joakim von

name

• Wright, Joakim von

Authored works

• A lattice-theoretical basis for program refinement
• A mechanization of a command lattice with recursion
• A metatool for exploring program algebras
• Data refinement and the simulation method
• Data refinement with stuttering
• Doing lattice theory in higher order logic
• From Kleene algebra to refinement algebra
• Program inversion in the refinement calculus
• Stepwise derivation of a parallel matrix multiplication algorithm
• The lattice of data refinement

Works contributed to

• A tool for data refinement
• ABC80 som hjälpmedel i pedagogisk forskning
• Annual report 1998
• Annual report 1999
• Class refinement as Semantics of correct object substitutability
• Class refinement as Semantics of correct subclassing
• Combining angels, demons and miracles in program specifications
• Command lattices, variable environments and data refinement
• Compositional action system refinement
• Context handling in the Refinement Calculus framework
• Contracts as mathematical entities in programming logic
• Contracts, games and refinement
• Correctness and refinement of dually nondeterministic programs
• Doing high school mathematics carefully
• Duality in specification languages : a lattice-theoretical approach
• Encoding, decoding and data refinement
• Enforcing behavior with contracts
• Field tests of the structured derivations method
• Formal semantics of inheritance and object substitutability
• Functional procedures in higher-order logic
• Interpreting nondeterminism in the refinement calculus
• Mechanising some advanced refinement concepts
• Modeling component environments and interactive programs using iterative choice
• Products in the refinement calculus
• Programs on product spaces
• Proving isomorphism of first-order logic proof systems in HOL
• Refinement algebra extended with operators for enabledness and termination
• Refinement calculus : Part 1, Sequential nondeterministic programs
• Refinement concepts formalized in higher order logic
• Refining reactive systems in HOL using action system[s]
• Specification variables : between the angel and the demon
• Statement inversion and strongest postcondition
• Structured derivations : a method for doing high-school mathematics carefully
• Supplementary proceedings of the 9th International Conference on Theorem Proving in Higher Order Logics : TPHOLs'96
• Theorem prover support for precondition and correctness calculation
• TkWinHOL : a tool for doing window inference in HOL
• Trace refinement of action systems
• Verification and refinement of action contracts
• What's in a specification?

Works about Wright, Joakim von