Search results for "nondeterminacy"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
172	Joseph M. Morris	Augmenting Types with Unbounded Demonic and Angelic Nondeterminacy.	MPC	2004	DBLP DOI BibTeX RDF
112	Jianxin Xiong, Dingxing Wang	Analyzing Nondeterminacy of Message Passing Programs.	ISPAN	1996	DBLP DOI BibTeX RDF	message passing, trace analysis, Parallel debugging
107	Hyun Seop Bae, Yong Rae Kwon, Hyeon Soo Kim	An Efficient Debugging Method for Message-based Parallel Programs using Static Analysis Information.	APSEC	1995	DBLP DOI BibTeX RDF	language-based replay, MHB(Minimal Happened Before) model, Detect and Reproduce method, parallel program, static analysis, debugging, probe effects, nondeterminacy, event ordering
99	Joseph M. Morris, Malcolm Tyrrell	Dually nondeterministic functions.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	Angelic nondeterminacy, demonic nondeterminacy, free completely distributive lattice, modeling nondeterminacy, nondeterministic functions, nondeterminism
92	Joseph M. Morris, Malcolm Tyrrell	Modelling higher-order dual nondeterminacy.	Acta Informatica	2008	DBLP DOI BibTeX RDF
92	Joseph M. Morris	Plug-and-Play Nondeterminacy.	B	2007	DBLP DOI BibTeX RDF
72	Joseph M. Morris, Malcolm Tyrrell	Dual unbounded nondeterminacy, recursion, and fixpoints.	Acta Informatica	2007	DBLP DOI BibTeX RDF
61	Joseph M. Morris, Alexander Bunkenburg	A theory of bunches.	Acta Informatica	2001	DBLP DOI BibTeX RDF
46	Joseph M. Morris, Alexander Bunkenburg, Malcolm Tyrrell	Term transformers: A new approach to state.	ACM Trans. Program. Lang. Syst.	2009	DBLP DOI BibTeX RDF	nondeterminism, state, procedures, refinement calculus, predicate transformers, Nondeterminacy
46	Raymond T. Boute	Calculational semantics: Deriving programming theories from equations by functional predicate calculus.	ACM Trans. Program. Lang. Syst.	2006	DBLP DOI BibTeX RDF	calculational reasoning, functional predicate calculus, intuitive semantics, strongest postcondition, weakest antecondition, termination, formal semantics, programming theories, Assignment, generic functionals, loops, nondeterminacy, axiomatic semantics
46	Malcolm Tyrrell, Joseph M. Morris, Andrew Butterfield, Arthur Hughes	A Lattice-Theoretic Model for an Algebra of Communicating Sequential Processes.	ICTAC	2006	DBLP DOI BibTeX RDF	denotational models, communicating sequential processes, nondeterminacy
31	Rafael Wisniewski, Martin Raussen	Geometric analysis of nondeterminacy in dynamical systems.	Acta Informatica	2007	DBLP DOI BibTeX RDF
31	Toke M. Carlsen, Søren Eilers	A graph approach to computing nondeterminacy in substitutional dynamical systems.	RAIRO Theor. Informatics Appl.	2007	DBLP DOI BibTeX RDF
31	Joseph M. Morris, Malcolm Tyrrell	Terms with unbounded demonic and angelic nondeterminacy.	Sci. Comput. Program.	2007	DBLP DOI BibTeX RDF
31	Joseph M. Morris, Alexander Bunkenburg	Partiality and Nondeterminacy in Program Proofs.	Formal Aspects Comput.	1998	DBLP DOI BibTeX RDF
31	Uwe Nestmann	On determinacy and nondeterminacy in concurrent programming.		1996	RDF
31	Michael Oberhuber	Elimination of Nondeterminacy for Testing and Debugging Parallel Programs.	AADEBUG	1995	DBLP BibTeX RDF
31	Wim H. Hesselink	Nondeterminacy and Recursion via Stacks and Games.	Theor. Comput. Sci.	1994	DBLP DOI BibTeX RDF
31	Suresh K. Damodaran-Kamal, Joan M. Francioni	Nondeterminacy: Testing and Debugging in Message Passing Parallel Programs.	Workshop on Parallel and Distributed Debugging	1993	DBLP DOI BibTeX RDF
31	Perry A. Emrath, Sanjoy Ghosh, David A. Padua	Detecting Nondeterminacy in Parallel Programs.	IEEE Softw.	1992	DBLP DOI BibTeX RDF
31	Wim H. Hesselink	Interpretations of Recursion under Unbounded Nondeterminacy.	Theor. Comput. Sci.	1988	DBLP DOI BibTeX RDF
31	Perry A. Emrath, David A. Padua	Automatic Detection of Nondeterminacy in Parallel Programs.	Workshop on Parallel and Distributed Debugging	1988	DBLP DOI BibTeX RDF
31	Edsger W. Dijkstra	Guarded Commands, Nondeterminacy and Formal Derivation of Programs.	Commun. ACM	1975	DBLP DOI BibTeX RDF
26	Joseph M. Morris, Alexander Bunkenburg	Specificational functions.	ACM Trans. Program. Lang. Syst.	1999	DBLP DOI BibTeX RDF	logic, function, expression, refinement calculus, nondeterminacy
20	Tim Menzies, Julian Richardson	Qualitative Modeling for Requirements Engineering.	SEW	2006	DBLP DOI BibTeX RDF
20	Yu Lei 0001, Kuo-Chung Tai	Efficient Reachability Testing of Asynchronous Message-Passing Programs.	ICECCS	2002	DBLP DOI BibTeX RDF
20	Wim H. Hesselink, Jan Friso Groote	Wait-free concurrent memory management by Create and Read until Deletion (CaRuD).	Distributed Comput.	2001	DBLP DOI BibTeX RDF	Shared memory, Consensus, Wait-free, Reference counting, Concurrent garbage collection, Terms
20	Tim Menzies, Bojan Cukic, Harshinder Singh, John D. Powell	Testing Nondeterminate Systems.	ISSRE	2000	DBLP DOI BibTeX RDF
20	In Sang Chung, Hyeon Soo Kim, Hyun Seop Bae, Yong Rae Kwon, Byung-Sun Lee	Testing of Concurrent Programs Based on Message Sequence Charts.	PDSE	1999	DBLP DOI BibTeX RDF	Concurrent Program Testing, Constraints-based Testing, Message Sequence Charts
20	Toby S. Berk	A simple student environment for lightweight process concurrent programming under SunOs.	SIGCSE	1996	DBLP DOI BibTeX RDF
20	Hermann Ilmberger, Sabine Thürmel	A Toolkit for Debugging Parallel Lisp Programs.	PARLE (1)	1991	DBLP DOI BibTeX RDF