Specifying Pointer Structures by Graph Reduction

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
Evolving Graphs with Horizontal Gene Transfer
Plump, D., Atkinson, T. & Stepney, S., Jul 2019, Proceedings Genetic and Evolutionary Computation Conference (GECCO 2019). ACM, p. 968-976
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Preface to the special issue on the 10th International Conference on Graph Transformation
Plump, D. & de Lara, J., 1 Apr 2019
Article in Journal of Logical and Algebraic Methods in Programming

Research output: Contribution to journal › Article

Author(s)

Department/unit(s)

Computer Science

Publication details

Journal	Technical Report
Date	Published - 2003
Issue number	YCS-2003-367
Number of pages	48
Original language	English

Bibliographical note

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

Projects

Gr/R72440/01 Safe Pointers..Trans
Project: Research project (funded) › Research

Discover related content

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

View graph of relations

York staff: edit these data

The York Research Database

By the same authors

A Reference Interpreter for the Graph Programming Language GP 2

Specifying pointer structures by graph reductions

Checking the shape safety of pointer manipulations

Evolving Graphs with Horizontal Gene Transfer

Preface to the special issue on the 10th International Conference on Graph Transformation