Fundamentals of deductive program synthesis

Z. Manna; R. Waldinger

doi:10.1109/32.153379

Fundamentals of deductive program synthesis

IEEE Transactions on Software Engineering ◽

10.1109/32.153379 ◽

1992 ◽

Vol 18 (8) ◽

pp. 674-704 ◽

Cited By ~ 72

Author(s):

Z. Manna ◽

R. Waldinger

Keyword(s):

Program Synthesis ◽

Deductive Program Synthesis

Download Full-text

Reconciling enumerative and deductive program synthesis

Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation ◽

10.1145/3385412.3386027 ◽

2020 ◽

Cited By ~ 2

Author(s):

Kangjing Huang ◽

Xiaokang Qiu ◽

Peiyuan Shen ◽

Yanjun Wang

Keyword(s):

Program Synthesis ◽

Deductive Program Synthesis

Download Full-text

Deductive program synthesis and Markov's principle

Fundamentals of Computation Theory - Lecture Notes in Computer Science ◽

10.1007/3-540-18740-5_105 ◽

1987 ◽

pp. 479-482

Author(s):

A. A. Voronkov

Keyword(s):

Program Synthesis ◽

Deductive Program Synthesis

Download Full-text

DryadSynth: Release as PLDI 2020 Artifact: Reconciling Enumerative and Deductive Program Synthesis

Artifact Digital Object Group ◽

10.1145/zenodo.3753963 ◽

2020 ◽

Author(s):

Kangjing Huang ◽

Xiaokang Qiu ◽

Peiyuan Shen ◽

Yanjun Wang

Keyword(s):

Program Synthesis ◽

Deductive Program Synthesis

Download Full-text

Fundamentals of Deductive Program Synthesis

Logic, Algebra, and Computation ◽

10.1007/978-3-642-76799-9_2 ◽

1991 ◽

pp. 41-107 ◽

Cited By ~ 1

Author(s):

Zohar Manna ◽

Richard Waldinger

Keyword(s):

Program Synthesis ◽

Deductive Program Synthesis

Download Full-text

Towards high-level deductive program synthesis based on type theory

Proceedings 1995 10th Knowledge-Based Software Engineering Conference ◽

10.1109/kbse.1995.490133 ◽

2002 ◽

Author(s):

H. Ruess

Keyword(s):

Type Theory ◽

Program Synthesis ◽

High Level ◽

Deductive Program Synthesis

Download Full-text

Iterative Macro-Operators Revisited: Applying Program Synthesis to Learning in Planning

10.21236/ada363524 ◽

1999 ◽

Author(s):

Ute Schmid

Keyword(s):

Program Synthesis

Download Full-text

Accelerating search-based program synthesis using learned probabilistic models

ACM SIGPLAN Notices ◽

10.1145/3296979.3192410 ◽

2018 ◽

Vol 53 (4) ◽

pp. 436-449 ◽

Cited By ~ 3

Author(s):

Woosuk Lee ◽

Kihong Heo ◽

Rajeev Alur ◽

Mayur Naik

Keyword(s):

Probabilistic Models ◽

Program Synthesis

Download Full-text

FlashMeta: a framework for inductive program synthesis

ACM SIGPLAN Notices ◽

10.1145/2858965.2814310 ◽

2015 ◽

Vol 50 (10) ◽

pp. 107-126 ◽

Cited By ~ 11

Author(s):

Oleksandr Polozov ◽

Sumit Gulwani

Keyword(s):

Program Synthesis

Download Full-text

Benchmarking parent selection for program synthesis by genetic programming

Proceedings of the 2020 Genetic and Evolutionary Computation Conference Companion ◽

10.1145/3377929.3389987 ◽

2020 ◽

Author(s):

Thomas Helmuth ◽

Amr Abdelhady

Keyword(s):

Genetic Programming ◽

Program Synthesis ◽

Parent Selection ◽

Selection For

Download Full-text

Learning Network Design Objectives Using A Program Synthesis Approach

Proceedings of the 18th ACM Workshop on Hot Topics in Networks - HotNets '19 ◽

10.1145/3365609.3365861 ◽

2019 ◽

Cited By ~ 1

Author(s):

Yanjun Wang ◽

Chuan Jiang ◽

Xiaokang Qiu ◽

Sanjay G. Rao

Keyword(s):

Network Design ◽

Program Synthesis ◽

Learning Network ◽

Synthesis Approach

Download Full-text