References

  1. R. Alur, R. Bodik, G. Juniwal, M. M. K. Martin, M. Raghothaman, S. A. Seshia, R. Singh, A. Solar-Lezama, E. Torlak & A. Udupa (2013): Syntax-guided synthesis. In: 2013 Formal Methods in Computer-Aided Design, pp. 1–8, doi:10.1109/FMCAD.2013.6679385.
  2. Haniel Barbosa, Pascal Fontaine & Andrew Reynolds (2017): Congruence Closure with Free Variables. In: Axel Legay & Tiziana Margaria: Tools and Algorithms for the Construction and Analysis of Systems, Lecture Notes in Computer Science 10206. Springer, Berlin, Heidelberg, pp. 214–230, doi:10.1007/978-3-662-54580-5_13.
  3. H. P. Barendregt, M. Coppo & M. Dezani-Ciancaglini (1983): A Filter Lambda Model and the Completeness of Type Assignment. Journal of Symbolic Logic 48(4), pp. 931–940, doi:10.2307/2273659.
  4. Barrett, C., Fontaine, P., Tinelli, C.: SMT-LIB Logics. Available at http://smtlib.cs.uiowa.edu/logics.shtml.
  5. Jan Bessai, Tzu-Chun Chen, Andrej Dudenhefner, Boris Düdder, Ugo de'Liguoro & Jakob Rehof (2018): Mixin Composition Synthesis based on Intersection Types. Logical Methods in Computer Science Volume 14, Issue 1, doi:10.23638/LMCS-14(1:18)2018.
  6. Jan Bessai, Boris Düdder, George T. Heineman & Jakob Rehof (2015): Combinatory Synthesis of Classes Using Feature Grammars. In: Revised selected papers of the 12th International Conference on Formal Aspects of Component Software, pp. 123–140, doi:10.1007/978-3-319-28934-2_7.
  7. Jan Bessai, Boris Düdder & Geroge T. Heineman (2018): (CL)S Framework. Available at http://www.combinators.org. Accessed: 2018-04-30.
  8. Jan Bessai, Andrej Dudenhefner, Boris Düdder, Moritz Martens & Jakob Rehof (2014): Combinatory Logic Synthesizer. In: Tiziana Margaria & Bernhard Steffen: Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, Lecture Notes in Computer Science 8802. Springer, Berlin, Heidelberg, pp. 26–40, doi:10.1007/978-3-662-45234-9_3.
  9. Jan Bessai, Andrej Dudenhefner, Boris Düdder, Moritz Martens & Jakob Rehof (2016): Combinatory Process Synthesis. In: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I, pp. 266–281, doi:10.1007/978-3-319-47166-2_19.
  10. Jan Bessai, Jakob Rehof & Boris Düdder (2019): Fast Verified BCD Subtyping. In: Models, Mindsets, Meta: The What, the How, and the Why Not?, Lecture Notes in Computer Science 11200. Springer, Cham, [S.l.], pp. 356–371, doi:10.1007/978-3-030-22348-9_21.
  11. Jan Bessai & Anna Vasileva (2018): User Support for the Combinator Logic Synthesizer Framework. Electronic Proceedings in Theoretical Computer Science 284, pp. 16–25, doi:10.4204/EPTCS.284.2.
  12. Edwin Brady (2017): Type-driven development with Idris. Manning Publications Co, Shelter Island, NY.
  13. H. Comon, M. Dauchet, R. Gilleron, C. Löding, F. Jacquemard, D. Lugiez, S. Tison & M. Tommasi (2007): Tree Automata Techniques and Applications. Available online: http://www.grappa.univ-lille3.fr/tata. Release October, 12th 2007.
  14. Boris Düdder, Moritz Martens, Jakob Rehof & PawełUrzyczyn (2012): Bounded Combinatory Logic. In: Patrick Cégielski & Arnaud Durand: Computer Science Logic (CSL'12) - 26th International Workshop/21st Annual Conference of the EACSL, CSL 2012, September 3-6, 2012, Fontainebleau, France, LIPIcs 16. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, pp. 243–258, doi:10.4230/LIPIcs.CSL.2012.243.
  15. Boris Düdder, Jakob Rehof & George T. Heineman (2015): Synthesizing type-safe compositions in feature oriented software designs using staged composition. In: Proceedings of the 19th International Conference on Software Product Lines, pp. 398–401, doi:10.1145/2791060.2793677.
  16. Jonathan Frankle, Peter-Michael Osera, David Walker & Steve Zdancewic (2016): Example-directed Synthesis: A Type-theoretic Interpretation. In: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '16. ACM, New York, NY, USA, pp. 802–815, doi:10.1145/2837614.2837629.
  17. Sumit Gulwani, William R. Harris & Rishabh Singh (2012): Spreadsheet data manipulation using examples. Communications of the ACM 55(8), pp. 97–105, doi:10.1145/2240236.2240260.
  18. Sumit Gulwani, Susmit Jha, Ashish Tiwari & Ramarathnam Venkatesan (2011): Synthesis of Loop-free Programs. In: Proceedings of PLDI'11. ACM, pp. 62, doi:10.1145/1993498.1993506.
  19. Sumit Gulwani, Oleksandr Polozov & Rishabh Singh (2017): Program Synthesis. Foundations and Trends\z@ "672 in Programming Languages 4(1-2), pp. 1–119, doi:10.1561/2500000010.
  20. Tihomir Gvero, Viktor Kuncak, Ivan Kuraj & Ruzica Piskac (2013): Complete Completion Using Types and Weights. In: Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '13. ACM, New York, NY, USA, pp. 27–38, doi:10.1145/2491956.2462192.
  21. George T. Heineman, Jan Bessai, Boris Düdder & Jakob Rehof (2016): A Long and Winding Road Towards Modular Synthesis. In: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I, pp. 303–317, doi:10.1007/978-3-319-47166-2_21.
  22. Susmit Jha, Sumit Gulwani, Sanjit A. Seshia & Ashish Tiwari (2010): Oracle-guided component-based program synthesis. In: Jeff Kramer, Judith Bishop, Prem Devanbu & Sebastian Uchitel: ACM/IEEE 32nd International Conference on Software Engineering, 2010. IEEE, NJ, USA, pp. 215, doi:10.1145/1806799.1806833.
  23. Olivier Laurent (2018): Intersection Subtyping with Constructors. In: Michele Pagani & Sandra Alves: Proceedings DCM 2018 and ITRS 2018, EPTCS 293, Oxford, UK, pp. 73–84, doi:10.4204/EPTCS.293.6.
  24. Leonardo de Moura & Nikolaj Bjørner (2008): Z3: An Efficient SMT Solver. In: C. R. Ramakrishnan & Jakob Rehof: Tools and Algorithms for the Construction and Analysis of Systems, Lecture Notes in Computer Science 4963. Springer, Berlin, Heidelberg, pp. 337–340, doi:10.1007/978-3-540-78800-3_24.
  25. Nadia Polikarpova, Ivan Kuraj & Armando Solar-Lezama (2016): Program Synthesis from Polymorphic Refinement Types. In: Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '16. ACM, New York, NY, USA, pp. 522–538, doi:10.1145/2908080.2908093.
  26. Jakob Rehof (2013): Towards Combinatory Logic Synthesis. In: BEAT 2013, 1st International Workshop on Behavioural Types. ACM.
  27. Andrew Reynolds, Viktor Kuncak, Cesare Tinelli, Clark Barrett & Morgan Deters (2017): Refutation-based synthesis in SMT. Formal Methods in System Design, doi:10.1007/s10703-017-0270-2.
  28. Rishabh Singh & Sumit Gulwani (2016): Transforming spreadsheet data types using examples. In: Rastislav Bodik & Rupak Majumdar: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL 2016. ACM, New York, NY, USA, pp. 343–356, doi:10.1145/2837614.2837668.
  29. Armando Solar-Lezama, Liviu Tancau, Rastislav Bodik, Sanjit Seshia & Vijay Saraswat (2006): Combinatorial sketching for finite programs. In: John Paul Shen: Proceedings of the 12th international conference on Architectural support for programming languages and operating systems. ACM, New York, NY, USA, pp. 404, doi:10.1145/1168857.1168907.
  30. Bernhard Steffen, Tiziana Margaria & Michael von der Beeck (1997): Automatic Synthesis of Linear Process Models from Temporal Constraints: An Incremental Approach. In: ACM/SIGPLAN Int. Workshop on Automated Analysis of Software (AAS'97).
  31. Ashish Tiwari, Adrià Gascón & Bruno Dutertre (2015): Program Synthesis Using Dual Interpretation. In: Amy Felty & Aart Middeldorp: Automated deduction – CADE-25, LNCS sublibrary. SL 7, Artificial intelligence 9195. Springer, Cham, pp. 482–497, doi:10.1007/978-3-319-21401-6_33.
  32. Abhishek Udupa, Arun Raghavan, Jyotirmoy V. Deshmukh, Sela Mador-Haim, Milo M.K. Martin & Rajeev Alur (2013): TRANSIT: Specifying Protocols with Concolic Snippets. SIGPLAN Not. 48(6), pp. 287–296, doi:10.1145/2499370.2462174.
  33. Jan Winkels, Julian Graefenstein, Tristan Schäfer, David Scholz, Jakob Rehof & Michael Henke (2018): Automatic Composition of Rough Solution Possibilities in the Target Planning of Factory Planning Projects by Means of Combinatory Logic. In: Tiziana Margaria & Bernhard Steffen: Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, Lecture Notes in Computer Science 11247. Springer, Cham, pp. 487–503, doi:10.1007/978-3-030-03427-6_36.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org