|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 22(9), pp. 665-686, 1996. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software: Theories, Tools, Experiments, Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings, pp. 115-129, 2008, Springer, 978-3-540-87872-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
100 | Alexey Loginov, Thomas W. Reps, Mooly Sagiv |
Automated Verification of the Deutsch-Schorr-Waite Tree-Traversal Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings, pp. 261-279, 2006, Springer, 3-540-37756-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
100 | Thierry Hubert, Claude Marché |
A case study of C source code verification: the Schorr-Waite algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany, pp. 190-199, 2005, IEEE Computer Society, 0-7695-2435-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
75 | Oukseh Lee, Hongseok Yang, Kwangkeun Yi |
Automatic Verification of Pointer Programs Using Grammar-Based Shape Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings, pp. 124-140, 2005, Springer, 3-540-25435-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
63 | Jean-François Dufourd |
Pointer Program Derivation Using Coq: Graphs and Schorr-Waite Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings, pp. 139-154, 2014, Springer, 978-3-319-11736-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
63 | Viorel Preoteasa, Ralph-Johan Back |
Verification of the Deutsch-Schorr-Waite Graph Marking Algorithm using Data Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Formal Proofs ![In: Arch. Formal Proofs 2010, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
63 | Mathieu Giorgino, Martin Strecker, Ralph Matthes, Marc Pantel |
Verification of the Schorr-Waite Algorithm - From Trees to Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic-Based Program Synthesis and Transformation - 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers, pp. 67-83, 2010, Springer, 978-3-642-20550-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
63 | Richard Bubel |
The Schorr-Waite-Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The KeY Approach ![In: Verification of Object-Oriented Software. The KeY Approach - Foreword by K. Rustan M. Leino, pp. 569-587, 2007, Springer, 978-3-540-68977-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
63 | Peter Padawitz |
Proving the Correctness of Schorr-Waite Graph Marking by Inductive Expansion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP Congress ![In: Information Processing 89, Proceedings of the IFIP 11th World Computer Congress, San Francisco, USA, August 28 - September 1, 1989., pp. 1121-1126, 1989, North-Holland/IFIP, 0-444-88015-1. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
63 | M. C. Hambury |
Two Tagless Variations on the Deutsch-Schorr-Waite Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 22(4), pp. 179-183, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
63 | Manfred Broy, Peter Pepper |
Combining Algebraic and Algorithmic Reasoning: An Approach to the Schorr-Waite Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 4(3), pp. 362-381, 1982. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
63 | Nachum Dershowitz |
The Schorr-Waite Marking Algorithm Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 11(3), pp. 141-143, 1980. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
63 | Rodney W. Topor |
The Correctness of the Schorr-Waite List Marking Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 11, pp. 211-221, 1979. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
63 | David Gries |
The Schorr-Waite Graph Marking Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 11, pp. 223-232, 1979. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
63 | Michael Griffiths |
Development of the Schorr-Waite Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Program Construction ![In: Program Construction, International Summer School, July 26 - August 6, 1978, Marktoberdorf, Germany, pp. 464-471, 1978, Springer, 3-540-09251-X. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
|
63 | Susan L. Gerhart |
A Derivation Oriented Proof of the Schorr-Waite Marking Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Program Construction ![In: Program Construction, International Summer School, July 26 - August 6, 1978, Marktoberdorf, Germany, pp. 472-492, 1978, Springer, 3-540-09251-X. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
|
63 | David Gries |
The Schorr-Waite Graph Marking Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Program Construction ![In: Program Construction, International Summer School, July 26 - August 6, 1978, Marktoberdorf, Germany, pp. 58-69, 1978, Springer, 3-540-09251-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010, Madrid, Spain, January 17-23, 2010, pp. 339-352, 2010, ACM, 978-1-60558-479-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
angelic non-determinism, constraints, refinement, traces, bounded model-checking |
38 | Radu Iosif, Adam Rogalewicz |
Automata-Based Termination Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata, 14th International Conference, CIAA 2009, Sydney, Australia, July 14-17, 2009. Proceedings, pp. 165-177, 2009, Springer, 978-3-642-02978-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
38 | Zhifang Wang, Yiyun Chen, Zhenming Wang, Baojian Hua |
Automated verification of pointer programs in pointer logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Frontiers Comput. Sci. China ![In: Frontiers Comput. Sci. China 2(4), pp. 380-397, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings, pp. 121-135, 2003, Springer, 3-540-40559-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
38 | David Walker 0001, J. Gregory Morrisett |
Alias Types for Recursive Data Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Types in Compilation ![In: Types in Compilation, Third International Workshop, TIC 2000, Montreal, Canada, September 21, 2000, Revised Selected Papers, pp. 177-206, 2000, Springer, 3-540-42196-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
38 | Peter Thiemann 0001 |
Optimizing structural recursion in functional programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCL ![In: ICCL'92, Proceedings of the 1992 International Conference on Computer Languages, Oakland, California, USA, 20-23 Apr 1992, pp. 76-85, 1992, IEEE Computer Society, 0-8186-2585-6. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
38 | Herbert Klaeren, Klaus Indermark |
Efficient Implementation of an Algebraic Specification Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algebraic Methods ![In: Algebraic Methods: Theory, Tools and Applications [papers from a workshop in Passau, Germany, June 9-11, 1987], pp. 69-90, 1987, Springer, 3-540-51698-0. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
38 | Norihisa Suzuki |
Analysis of Pointer Rotation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Seventh Annual ACM Symposium on Principles of Programming Languages, Las Vegas, Nevada, USA, January 1980, pp. 1-11, 1980, ACM Press, 0-89791-011-7. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
38 | Stanley Lee, Willem P. de Roever, Susan L. Gerhart |
The Evolution of List-Copying Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Sixth Annual ACM Symposium on Principles of Programming Languages, San Antonio, Texas, USA, January 1979, pp. 53-67, 1979, ACM Press. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
38 | Willem P. de Roever |
On Backtracking and Greatest Fixpoints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, Fourth Colloquium, University of Turku, Finland, July 18-22, 1977, Proceedings, pp. 412-429, 1977, Springer, 3-540-08342-1. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #28 of 28 (100 per page; Change: )
|
|