Author:
Berger Martin,Tratt Laurence
Publisher
Centre pour la Communication Scientifique Directe (CCSD)
Subject
General Computer Science,Theoretical Computer Science
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A program logic for fresh name generation;Science of Computer Programming;2022-11
2. A Program Logic for Fresh Name Generation;Fundamentals of Software Engineering;2021
3. A Dependently Typed Multi-stage Calculus;Programming Languages and Systems;2019
4. Verification of code generators via higher-order model checking;Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation;2017-01-02
5. Reflective Constraint Writing;Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIV;2016