Publisher
Springer International Publishing
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Towards the Complexity Analysis of Programming Language Proof Methods;Theoretical Aspects of Computing – ICTAC 2023;2023
2. Testing Languages with a Languages-as-Databases Approach;Tests and Proofs;2023
3. Lang-n-Prove: A DSL for Language Proofs;Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering;2022-11-29