Synthesis modulo recursive functions - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Etienne Kneuss, Ivan Kuraj, Viktor Kuncak, Philippe Suter. Synthesis modulo recursive functions. In Antony L. Hosking, Patrick Th. Eugster, Cristina V. Lopes, editors, Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, OOPSLA 2013, part of SPLASH 2013, Indianapolis, IN, USA, October 26-31, 2013. pages 407-426, ACM, 2013. [doi]

The following publications are possibly variants of this publication:

Satisfiability Modulo Recursive ProgramsPhilippe Suter, Ali Sinan Köksal, Viktor Kuncak. SAS 2011: 298-315 [doi]

Proactive Synthesis of Recursive Tree-to-String Functions from Examples (Artifact)Mikaël Mayer, Jad Hamza, Viktor Kuncak. darts, 3(2), 2017. [doi]

Proactive Synthesis of Recursive Tree-to-String Functions from ExamplesMikaël Mayer, Jad Hamza, Viktor Kuncak. ECOOP 2017: [doi]

runs on WebDSL