Program Synthesis-Reference-Cited by-同舟云学术

Program Synthesis

Published:1998 Issue: Volume: Page:105-134
ISSN:1386-2790
Container-title:Applied Logic Series
language:
Short-container-title:

Author:

Kreitz Christoph

Publisher

Springer Netherlands

Link

http://link.springer.com/content/pdf/10.1007/978-94-017-0437-3_5.pdf

Reference59 articles.

1. R. Balzer. A 15 year perspective on automatic programming. IEEE Transactions on Software Engineering, 11 (11): 1257–1268, 1985.

2. J. Bates and R. Constable. Proofs as programs. ACM Transactions on Programming Languages and Systems, 7 (1): 113–136, 1985.

3. W. Bibel, D. Korn, C. Kreitz, F. Kurucz, J. Otten, S. Schmitt, G. Stolpmann. A multi-level approach to program synthesis. 7th International Workshop on Logic Program Synthesis and Transformation, LNAI, Springer, 1998.

4. W. Bibel. Syntax–directed, semantics–supported program synthesis. Artificial Intelligence, 14 (3): 243–261, 1980.

5. D. Bjomer, A. Ershov, N. Jones, eds. Partial evaluation and mixed computation. North–Holland, 1988.

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

1. Cognitive Monitoring of Distributed Objects;Automatic Documentation and Mathematical Linguistics;2019-01

2. Automatic Synthesis of Multilevel Automata Models of Biological Objects;Computational Science and Its Applications – ICCSA 2019;2019

3. Deductive Synthesis of Algorithms in Human-Computer Interaction;Applied Mechanics and Materials;2014-08

4. Theory and Techniques for Synthesizing a Family of Graph Algorithms;Electronic Proceedings in Theoretical Computer Science;2012-07-03

5. Theory and Techniques for Synthesizing Efficient Breadth-First Search Algorithms;FM 2012: Formal Methods;2012