deductive program synthesis
Recently Published Documents

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

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

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

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

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

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

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

deductive program synthesisRecently Published Documents

TOTAL DOCUMENTS

H-INDEX

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

Reconciling enumerative and deductive program synthesis

Towards high-level deductive program synthesis based on type theory

Fundamentals of deductive program synthesis

Fundamentals of Deductive Program Synthesis

Deductive program synthesis and Markov's principle

deductive program synthesis
Recently Published Documents