|
|
Venues (Conferences, Journals, ...)
|
|
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 |
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 |
|
Displaying result #1 - #28 of 28 (100 per page; Change: )
|
|