Author:
Jacobs Swen,Kuncak Viktor,Suter Philippe
Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. Aït-Kaci, H.: Warren’s Abstract Machine: A Tutorial Reconstruction. MIT Press (1991) (available online as PDF)
2. Baader, F., Snyder, W.: Unification theory. In: Handbook of Automated Reasoning. Elsevier (2001)
3. Flener, P.: Logic Program Synthesis from Incomplete Information. Kluwer Academic Publishers (1995)
4. Hamza, J., Jobstmann, B., Kuncak, V.: Synthesis for regular specifications over unbounded domains. In: FMCAD, pp. 101–109 (2010)
5. Hodges, W.: A Shorter Model Theory. Cambridge University Press (1997)
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Software Tools for Automated Program Design, Synthesis, and Auto-Tuning;Advances in Systems Analysis, Software Engineering, and High Performance Computing;2021
2. Structuring the synthesis of heap-manipulating programs;Proceedings of the ACM on Programming Languages;2019-01-02
3. Algebra-Algorithmic Models and Methods of Parallel Programing;2018
4. Path-Based Program Repair;Electronic Proceedings in Theoretical Computer Science;2015-03-17
5. Synthesis modulo recursive functions;ACM SIGPLAN Notices;2013-11-12