Publications
Search

Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: Joseph M.
    Last name: Morris
    DBLP: 09/1164
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 23 of 23  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Joseph M. Morris, Alexander Bunkenburg, Malcolm Tyrrell.
    Term transformers: A new approach to state.
    ACM Trans. Program. Lang. Syst. 2009, Volume 31 (0) 2009
    Conference paper
    Joseph M. Morris, Malcolm Tyrrell.
    Modelling higher-order dual nondeterminacy.
    Acta Inf. 2008, Volume 45 (0) 2008
    Conference paper
    Joseph M. Morris, Malcolm Tyrrell.
    Dually nondeterministic functions.
    ACM Trans. Program. Lang. Syst. 2007, Volume 30 (0) 2008
    Conference paper
    Joseph M. Morris.
    Plug-and-Play Nondeterminacy.
    B 2007: Formal Specification and Development in B, 7th International Conference of B Users, Besançon, France, January 17-19, 2007, Proceedings 2006 (0) 2007
    Conference paper
    Joseph M. Morris, Malcolm Tyrrell.
    Dual unbounded nondeterminacy, recursion, and fixpoints.
    Acta Inf. 2007, Volume 44 (0) 2007
    Conference paper
    Joseph M. Morris, Malcolm Tyrrell.
    Terms with unbounded demonic and angelic nondeterminacy.
    Sci. Comput. Program. 2007, Volume 65 (0) 2007
    Conference paper
    Malcolm Tyrrell, Joseph M. Morris, Andrew Butterfield, Arthur Hughes.
    A Lattice-Theoretic Model for an Algebra of Communicating Sequential Processes.
    Theoretical Aspects of Computing - ICTAC 2006, Third International Colloquium, Tunis, Tunisia, November 20-24, 2006, Proceedings 2006 (0) 2006
    Conference paper
    Gareth Carter, Rosemary Monahan, Joseph M. Morris.
    Software Refinement with Perfect Developer.
    Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany 2005 (0) 2005
    Conference paper
    Joseph M. Morris.
    Augmenting Types with Unbounded Demonic and Angelic Nondeterminacy.
    Mathematics of Program Construction, 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings 2004 (0) 2004
    Conference paper
    Joseph M. Morris, Alexander Bunkenburg.
    A source of inconsistency in theories of nondeterministic functions.
    Sci. Comput. Program. 2002, Volume 43 (0) 2002
    Conference paper
    Joseph M. Morris, Alexander Bunkenburg.
    A theory of bunches.
    Acta Inf. 2001, Volume 37 (0) 2001
    Conference paper
    Joseph M. Morris, Alexander Bunkenburg.
    A Logic for Reasoning Equationally in the Presence of Partiality.
    Sci. Comput. Program. 1999, Volume 34 (0) 1999
    Conference paper
    Joseph M. Morris, Alexander Bunkenburg.
    Specificational functions.
    ACM Trans. Program. Lang. Syst. 1999, Volume 21 (0) 1999
    Conference paper
    Joseph M. Morris, Alexander Bunkenburg.
    Partiality and Nondeterminacy in Program Proofs.
    Formal Asp. Comput. 1998, Volume 10 (0) 1998
    Conference paper
    Joseph M. Morris.
    Non-Deterministic Expressions and Predicate Transformers.
    Inf. Process. Lett. 1997, Volume 61 (0) 1997
    Conference paper
    Joseph M. Morris.
    Programming by Expression Refinement: a Sequence of Examples.
    Structured Programming 1990, Volume 11 (0) 1990
    Conference paper
    Joseph M. Morris.
    Well-founded induction and the invariance theorem for loops.
    Inf. Process. Lett. 1989, Volume 32 (0) 1989
    Conference paper
    Joseph M. Morris.
    Laws of Data Refinement.
    Acta Inf. 1989, Volume 26 (0) 1989
    Conference paper
    Joseph M. Morris.
    Temporal Predicat Transformers and Fair Termination.
    Acta Inf. 1989, Volume 27 (0) 1989
    Conference paper
    Joseph M. Morris.
    Varieties of Weakest Liberal Preconditions.
    Inf. Process. Lett. 1987, Volume 25 (0) 1987
    Conference paper
    Joseph M. Morris.
    A Theoretical Basis for Stepwise Refinement and the Programming Calculus.
    Sci. Comput. Program. 1987, Volume 9 (0) 1987
    Conference paper
    Joseph M. Morris.
    A Starvation-Free Solution to the Mutual Exclusion Problem.
    Inf. Process. Lett. 1979, Volume 8 (0) 1979
    Conference paper
    Joseph M. Morris.
    Traversing Binary Trees Simply and Cheaply.
    Inf. Process. Lett. 1979, Volume 9 (0) 1979
    Show item 1 to 23 of 23  

    Your query returned 23 matches in the database.