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.