Search results for "Schorr-Waite"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
148	Martin P. Ward	Derivation of Data Intensive Algorithms by Formal Transformation: The Schnorr-Waite Graph Marking Algorithm.	IEEE Trans. Software Eng.	1996	DBLP DOI BibTeX RDF	transformational development, graph marking, Schorr-Waite, ghost variables, recursion removal, pointer switching, refinement, transformation, Program development, data refinement
100	Yoshifumi Yuasa, Yoshinori Tanabe, Toshifusa Sekizawa, Koichi Takahashi	Verification of the Deutsch-Schorr-Waite Marking Algorithm with Modal Logic.	VSTTE	2008	DBLP DOI BibTeX RDF
100	Alexey Loginov, Thomas W. Reps, Mooly Sagiv	Automated Verification of the Deutsch-Schorr-Waite Tree-Traversal Algorithm.	SAS	2006	DBLP DOI BibTeX RDF
100	Thierry Hubert, Claude Marché	A case study of C source code verification: the Schorr-Waite algorithm.	SEFM	2005	DBLP DOI BibTeX RDF
75	Oukseh Lee, Hongseok Yang, Kwangkeun Yi	Automatic Verification of Pointer Programs Using Grammar-Based Shape Analysis.	ESOP	2005	DBLP DOI BibTeX RDF
63	Jean-François Dufourd	Pointer Program Derivation Using Coq: Graphs and Schorr-Waite Algorithm.	ICFEM	2014	DBLP DOI BibTeX RDF
63	Viorel Preoteasa, Ralph-Johan Back	Verification of the Deutsch-Schorr-Waite Graph Marking Algorithm using Data Refinement.	Arch. Formal Proofs	2010	DBLP BibTeX RDF
63	Mathieu Giorgino, Martin Strecker, Ralph Matthes, Marc Pantel	Verification of the Schorr-Waite Algorithm - From Trees to Graphs.	LOPSTR	2010	DBLP DOI BibTeX RDF
63	Richard Bubel	The Schorr-Waite-Algorithm.	The KeY Approach	2007	DBLP DOI BibTeX RDF
63	Peter Padawitz	Proving the Correctness of Schorr-Waite Graph Marking by Inductive Expansion.	IFIP Congress	1989	DBLP BibTeX RDF
63	M. C. Hambury	Two Tagless Variations on the Deutsch-Schorr-Waite Algorithm.	Inf. Process. Lett.	1986	DBLP DOI BibTeX RDF
63	Manfred Broy, Peter Pepper	Combining Algebraic and Algorithmic Reasoning: An Approach to the Schorr-Waite Algorithm.	ACM Trans. Program. Lang. Syst.	1982	DBLP DOI BibTeX RDF
63	Nachum Dershowitz	The Schorr-Waite Marking Algorithm Revisited.	Inf. Process. Lett.	1980	DBLP DOI BibTeX RDF
63	Rodney W. Topor	The Correctness of the Schorr-Waite List Marking Algorithm.	Acta Informatica	1979	DBLP DOI BibTeX RDF
63	David Gries	The Schorr-Waite Graph Marking Algorithm.	Acta Informatica	1979	DBLP DOI BibTeX RDF
63	Michael Griffiths	Development of the Schorr-Waite Algorithm.	Program Construction	1978	DBLP DOI BibTeX RDF
63	Susan L. Gerhart	A Derivation Oriented Proof of the Schorr-Waite Marking Algorithm.	Program Construction	1978	DBLP DOI BibTeX RDF
63	David Gries	The Schorr-Waite Graph Marking Algorithm.	Program Construction	1978	DBLP DOI BibTeX RDF
38	Rastislav Bodík, Satish Chandra 0001, Joel Galenson, Doug Kimelman, Nicholas Tung, Shaon Barman, Casey Rodarmor	Programming with angelic nondeterminism.	POPL	2010	DBLP DOI BibTeX RDF	angelic non-determinism, constraints, refinement, traces, bounded model-checking
38	Radu Iosif, Adam Rogalewicz	Automata-Based Termination Proofs.	CIAA	2009	DBLP DOI BibTeX RDF
38	Zhifang Wang, Yiyun Chen, Zhenming Wang, Baojian Hua	Automated verification of pointer programs in pointer logic.	Frontiers Comput. Sci. China	2008	DBLP DOI BibTeX RDF	pointer logic, alias analysis, software safety, automated verification
38	Farhad Mehta, Tobias Nipkow	Proving Pointer Programs in Higher-Order Logic.	CADE	2003	DBLP DOI BibTeX RDF
38	David Walker 0001, J. Gregory Morrisett	Alias Types for Recursive Data Structures.	Types in Compilation	2000	DBLP DOI BibTeX RDF
38	Peter Thiemann 0001	Optimizing structural recursion in functional programs.	ICCL	1992	DBLP DOI BibTeX RDF
38	Herbert Klaeren, Klaus Indermark	Efficient Implementation of an Algebraic Specification Language.	Algebraic Methods	1987	DBLP DOI BibTeX RDF
38	Norihisa Suzuki	Analysis of Pointer Rotation.	POPL	1980	DBLP DOI BibTeX RDF
38	Stanley Lee, Willem P. de Roever, Susan L. Gerhart	The Evolution of List-Copying Algorithms.	POPL	1979	DBLP DOI BibTeX RDF
38	Willem P. de Roever	On Backtracking and Greatest Fixpoints.	ICALP	1977	DBLP DOI BibTeX RDF