Author:
Fradet Pascal,Le Métayer Daniel
Cited by
30 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Grammar-based Pattern Matching and Type Checking for Difference Data Structures;Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming;2024-09-09
2. Type Checking Data Structures More Complex than Trees;Journal of Information Processing;2023
3. Engineering Grammar-Based Type Checking for Graph Rewriting Languages;IEEE Access;2022
4. Auto-parallelization of data structure operations for GPUs;Proceedings of the 2014 International Conference on Compilers, Architecture and Synthesis for Embedded Systems;2014-10-12
5. A Shape Graph Logic and A Shape System;Journal of Computer Science and Technology;2013-11