Staged Composition Synthesis-Reference-Cited by-同舟云学术

Staged Composition Synthesis

Published:2014 Issue: Volume: Page:67-86
ISSN:0302-9743
Container-title:Programming Languages and Systems
language:
Short-container-title:

Author:

Düdder Boris,Martens Moritz,Rehof Jakob

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-54833-8_5

Reference20 articles.

1. Rehof, J., Urzyczyn, P.: Finite Combinatory Logic with Intersection Types. In: Ong, L. (ed.) TLCA 2011. LNCS, vol. 6690, pp. 169–183. Springer, Heidelberg (2011)

2. Düdder, B., Martens, M., Rehof, J., Urzyczyn, P.: Bounded Combinatory Logic. In: Proceedings of CSL 2012, Schloss Dagstuhl. LIPIcs, vol. 16, pp. 243–258 (2012)

3. Düdder, B., Garbe, O., Martens, M., Rehof, J., Urzyczyn, P.: Using Inhabitation in Bounded Combinatory Logic with Intersection Types for GUI Synthesis. In: Proceedings of ITRS 2012 (2012)

4. Rehof, J.: Towards Combinatory Logic Synthesis. In: 1st International Workshop on Behavioural Types, BEAT 2013. ACM (January 22, 2013)

5. Lecture Notes in Computer Science;B. Düdder,2013

Cited by 12 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Derivations with Holes for Concept-Based Program Synthesis;Proceedings of the 2022 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software;2022-11-29

2. Intersection type calculi of bounded dimension;ACM SIGPLAN Notices;2017-05-11

3. Automata Theory Approach to Predicate Intuitionistic Logic;Logic-Based Program Synthesis and Transformation;2017

4. Intersection type calculi of bounded dimension;Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages;2017-01

5. A Long and Winding Road Towards Modular Synthesis;Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques;2016