• Suche: Inductive Synthesis of Functional Programs

Treffer 1 - 20 von 47.774

1

Neural-Guided Inductive Synthesis of Functional Programs on List Manipulation by Offline Supervised Learning
Wang, Y. ; Li, X.
IEEE Access Access, IEEE. 9:71521-71534 2021

Fachzeitschrift
Merkliste
2

Proving Functional Program Equivalence via Directed Lemma Synthesis
Sun, Yican ; Ji, Ruyi ; Fang, Jian ; et al.

Computer Science - Progr...
Report
Merkliste
5

Inductive Synthesis of Functional Programs: An Explanation Based Generalization Approach (Special Topic on Inductive Programming)
Kitzelmann, E. ; Schmid, U.
JOURNAL OF MACHINE LEARNING RESEARCH. 7(1):429-454

Zeitschrift
Merkliste
6

Dieses Ergebnis kann Gästen nicht angezeigt werden.

7

Inductive Synthesis of Functional Programs: An Explanation Based Generalization Approach
Emanuel Kitzelmann ; Ute Schmid ; Leslie Pack Kaelbling ; et al.
http://www.jmlr.org/papers/volume7/kitzelmann06a/kitzelmann06a.pdf.

inductive program synthe... inductive functional pro... explanation based genera... recursive
Fachzeitschrift
Merkliste
8

Inductive Synthesis of Functional Programs
Schmid, U.
LECTURE NOTES IN COMPUTER SCIENCE. (2654)

Zeitschrift
Merkliste
9

Inductive Synthesis of Recursive Functional Programs
KI 2007: Advances in Artificial Intelligence
Hofmann, M. ; Hirschberger, A. ; Kitzelmannn, E. ; et al.
LECTURE NOTES IN COMPUTER SCIENCE. (4667):468-472

Konferenz
Merkliste
10

Higher-Order Specifications for Deductive Synthesis of Programs with Pointers (Extended Version)
Young, David ; Yang, Ziyi ; Sergey, Ilya ; et al.

Computer Science - Progr...
Report
Merkliste
11

Higher-Order Specifications for Deductive Synthesis of Programs with Pointers
David Young and Ziyi Yang and Ilya Sergey and Alex Potanin ; Young, David ; Yang, Ziyi ; et al.

E-Ressource
Merkliste
12

Dieses Ergebnis kann Gästen nicht angezeigt werden.

13

Inductive Synthesis of Functional Programs
Emanuel Kitzelmann ; Ute Schmid ; Martin Mühlpfordt ; et al.
http://ki.cs.tu-berlin.de/wysotzki/publications/schmid/aisc02.ps.

Inductive program synthe... folding recursive program scheme...
Fachzeitschrift
Merkliste
15

Inductive synthesis of recursive functional programs
Oestvold, B. M.
ACM SIGPLAN NOTICES. 32(8):323-323

Zeitschrift
Merkliste
16

Inductive synthesis of recursive functional programs
Functional programming
Oestvold, B. M.
PROCEEDINGS OF THE ACM SIGPLAN INTERNATIONAL CONFERENCE ON FUNCTIONAL PROGRAMMING. :323-323

Konferenz
Merkliste
18

Analytical Inductive Functional Programming
Logic-based program synthesis and transformation, LOPSTR 2008
Kitzelmann, E.
LECTURE NOTES IN COMPUTER SCIENCE. (5438):87-102

Konferenz
Merkliste
19

Proving Failure in Functional Logic Programs
Computational logic
Lopez-Fraguas, F. J. ; Sanchez-Hernandez, J.
LECTURE NOTES IN COMPUTER SCIENCE. :179-193

Konferenz
Merkliste
20

Inductive Synthesis of Functional Programs
Emanuel Kitzelmann ; Ute Schmid ; Martin Mühlpfordt ; et al.
http://ki.cs.tu-berlin.de/publications/schmid/aisc02.ps.

Inductive program synthe... folding recursive program scheme... Symbolic computations an... term rewriting
Fachzeitschrift
Merkliste
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter