Checking the Shape Safety of Pointer Manipulations-Reference-Cited by-同舟云学术

Checking the Shape Safety of Pointer Manipulations

Published:2004 Issue: Volume: Page:48-61
ISSN:0302-9743
Container-title:Relational and Kleene-Algebraic Methods in Computer Science
language:
Short-container-title:

Author:

Bakewell Adam,Plump Detlef,Runciman Colin

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-24771-5_5.pdf

Reference16 articles.

1. Bakewell, A.: Algorithms for checking the shape safety of graph transformation rules. Technical report, Available from [SPG] (2003)

2. Bakewell, A., Plump, D., Runciman, C.: Checking the shape safety of pointer manipulations —extended abstract. In: Participant’s Proceedings of the 7th International Seminar on Relational Methods in Computer Science (RelMiCS 7), Malente, Germany, pp. 144–151. University of Kiel (2003), Available from [SPG]

3. Bakewell, A., Plump, D., Runciman, C.: Specifying pointer structures by graph reduction. Technical Report YCS-2003-367, Department of Computer Science, University of York (2003), Available from [SPG]

4. Lecture Notes in Computer Science;M. Benedikt,1999

5. Drewes, F., Hoffmann, B., Minas, M.: Context-exploiting shapes for diagram transformation. Machine Graphics and Vision 12(1), 117–132 (2003)

Cited by 9 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Engineering Grammar-Based Type Checking for Graph Rewriting Languages;IEEE Access;2022

2. A Local Greibach Normal Form for Hyperedge Replacement Grammars;Language and Automata Theory and Applications;2011

3. Modeling Pointer Redirection as Cyclic Term-graph Rewriting;Electronic Notes in Theoretical Computer Science;2007-05

4. Extending C for Checking Shape Safety;Electronic Notes in Theoretical Computer Science;2006-05

5. Narrowing Data-Structures with Pointers;Lecture Notes in Computer Science;2006