Author:
Chin Wei-Ngan,Khoo Siau-Cheng
Publisher
Springer Science and Business Media LLC
Subject
Computer Science Applications,Software
Cited by
45 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. Engineering Grammar-Based Type Checking for Graph Rewriting Languages;IEEE Access;2022
3. Non-polynomial Worst-Case Analysis of Recursive Programs;ACM Transactions on Programming Languages and Systems;2019-12-05
4. Type-Driven Verification of Non-functional Properties;Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages 2019;2019-10-07
5. A trustworthy framework for resource-aware embedded programming;Proceedings of the 31st Symposium on Implementation and Application of Functional Languages;2019-09-25