The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase Schorr-Waite (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1977-1996 (15) 2000-2014 (13)
Publication types (Num. hits)
article(8) incollection(1) inproceedings(19)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 11 occurrences of 10 keywords

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