By the same authors

  • A Reference Interpreter for the Graph Programming Language GP 2

    Bak, C., Faulkner, G., Plump, D. & Runciman, C., 2015, Proceedings 1st Workshop Graphs as Models (GaM 2015). Rensink, A. & Zambon, E. (eds.). Electronic Proceedings in Theoretical Computer Science, Vol. 181. p. 48-64 17 p. (Electronic Proceedings in Theoretical Computer Science; vol. 181).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Specifying pointer structures by graph reductions

    Plump, D., Bakewell, A. & Runciman, C., 2004, Applications of Graph Transformations with Industrial Relevance (AGTIVE 2003): Revised Selected and Invited Papers. Pfaltz, JL., Nagl, M. & Bohlen, B. (eds.). Berlin: Springer, p. 30-44 15 p. (Lecture Notes in Computer Science; vol. 3062).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Checking the shape safety of pointer manipulations

    Plump, D., Bakewell, A. & Runciman, C., 2004, Relational Methods in Computer Science (RelMiCS 7), Revised Selected Papers. Berghammer, R., Moller, B. & Struth, G. (eds.). Berlin: Springer, p. 48-61 14 p. (Lecture Notes in Computer Science; vol. 3051).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Verifying Graph Programs with First-Order Logic

    Wulandari, G. & Plump, D., 3 Dec 2020, Graph Computation Models (GCM 2020), Revised Selected Papers. p. 181-200 20 p. (Electronic Proceedings in Theoretical Computer Science; vol. 330).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • A Fast Graph Program for Computing Minimum Spanning Trees

    Courtehoute, B. & Plump, D., 3 Dec 2020, Graph Computation Models (GCM 2020), Revised Selected Papers. p. 163-180 18 p. (Electronic Proceedings in Theoretical Computer Science; vol. 330).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Specifying Pointer Structures by Graph Reduction

Research output: Contribution to journal › Article

Links

Author(s)

Department/unit(s)

Publication details

JournalTechnical Report
DatePublished - 2003
Issue numberYCS-2003-367
Number of pages48
Original languageEnglish

Bibliographical note

Technical Report YCS-2003-367, The University of York, 48 pages, 2003

Projects

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations

York staff: edit these data