Author:
Drienyovszky Dániel,Horpácsi Dániel,Thompson Simon
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Is This Really a Refactoring? Automated Equivalence Checking for Erlang Projects;Proceedings of the 23rd ACM SIGPLAN International Workshop on Erlang;2024-08-28
2. Synthesis of Random Real-World Java Programs from Preexisting Libraries;25th Brazilian Symposium on Programming Languages;2021-09-27
3. Validating Formal Semantics by Property-Based Cross-Testing;IFL 2020: Proceedings of the 32nd Symposium on Implementation and Application of Functional Languages;2020-09-02
4. CASE Tools and IDEs - Impact on Software Quality;Software Quality: Concepts and Practice;2018-04-06
5. Attribute grammars in Erlang;Proceedings of the 14th ACM SIGPLAN Workshop on Erlang;2015-08-30