Joseph M. Morris

25 papers B 2C 1Journal 19Unranked 2
YearRankTypeTitle / Venue / Authors
2009 J jnl
Term transformers: A new approach to state.
ACM Trans. Program. Lang. Syst.
Joseph M. Morris, Alexander Bunkenburg, Malcolm Tyrrell
2008 J jnl
Dually nondeterministic functions.
ACM Trans. Program. Lang. Syst.
Joseph M. Morris, Malcolm Tyrrell
2008 J jnl
Modelling higher-order dual nondeterminacy.
Acta Informatica
Joseph M. Morris, Malcolm Tyrrell
2007 J jnl
Dual unbounded nondeterminacy, recursion, and fixpoints.
Acta Informatica
Joseph M. Morris, Malcolm Tyrrell
2007 — conf
Plug-and-Play Nondeterminacy.
B
Joseph M. Morris
2007 J jnl
Terms with unbounded demonic and angelic nondeterminacy.
Sci. Comput. Program.
Joseph M. Morris, Malcolm Tyrrell
2006 C conf
A Lattice-Theoretic Model for an Algebra of Communicating Sequential Processes.
ICTAC
Malcolm Tyrrell, Joseph M. Morris, Andrew Butterfield, Arthur Hughes
2005 B conf
Software Refinement with Perfect Developer.
SEFM
Gareth Carter, Rosemary Monahan, Joseph M. Morris
2004 B conf
Augmenting Types with Unbounded Demonic and Angelic Nondeterminacy.
MPC
Joseph M. Morris
2003 — ed.
6th International Workshop on Formal Methods, IWFM 2003, Dublin City University, Ireland, 11 July, 2003
IWFM
Joseph M. Morris, Benjamin Aziz, Frédéric Oehl
2002 J jnl
A source of inconsistency in theories of nondeterministic functions.
Sci. Comput. Program.
Joseph M. Morris, Alexander Bunkenburg
2001 J jnl
A theory of bunches.
Acta Informatica
Joseph M. Morris, Alexander Bunkenburg
1999 J jnl
A Logic for Reasoning Equationally in the Presence of Partiality.
Sci. Comput. Program.
Joseph M. Morris, Alexander Bunkenburg
1999 J jnl
Specificational functions.
ACM Trans. Program. Lang. Syst.
Joseph M. Morris, Alexander Bunkenburg
1998 J jnl
Partiality and Nondeterminacy in Program Proofs.
Formal Aspects Comput.
Joseph M. Morris, Alexander Bunkenburg
1997 J jnl
Non-Deterministic Expressions and Predicate Transformers.
Inf. Process. Lett.
Joseph M. Morris
1990 J jnl
Programming by Expression Refinement: a Sequence of Examples.
Struct. Program.
Joseph M. Morris
1990 J jnl
Temporal Predicat Transformers and Fair Termination.
Acta Informatica
Joseph M. Morris
1989 J jnl
Laws of Data Refinement.
Acta Informatica
Joseph M. Morris
1989 J jnl
Well-founded induction and the invariance theorem for loops.
Inf. Process. Lett.
Joseph M. Morris
1987 J jnl
A Theoretical Basis for Stepwise Refinement and the Programming Calculus.
Sci. Comput. Program.
Joseph M. Morris
1987 J jnl
Varieties of Weakest Liberal Preconditions.
Inf. Process. Lett.
Joseph M. Morris
1981 — conf
The design of a language-directed editor for block-structured languages.
SIGPLAN SIGOA Symposium on Text Manipulation
Joseph M. Morris, Mayer D. Schwartz
1979 J jnl
A Starvation-Free Solution to the Mutual Exclusion Problem.
Inf. Process. Lett.
Joseph M. Morris
1979 J jnl
Traversing Binary Trees Simply and Cheaply.
Inf. Process. Lett.
Joseph M. Morris