BibSonomy publications for /user/emanuel/program_synthesis

A Deductive Approach to Program Synthesis

emanuel — 2010-05-09T15:17:19+02:00

Zohar Manna, and Richard Waldinger ACM Transactions on Programming Languages and Systems 2(1):90--121 (1980)

On Correct Program Schemas

emanuel — 2010-04-23T11:32:58+02:00

Pierre Flener, Kung-Kiu Lau, and Mario Ornaghi Logic Program Synthesis and Transformation, 7th International Workshop, LOPSTR'97, Proceedings, volume 1463 of LNCS, page 128--147. Springer-Verlag, (1998)

Logic Program Synthesis from Incomplete Information

emanuel — 2010-04-23T11:20:48+02:00

Pierre Flener Kluwer Academic Publishers, (1995)

FOIL: A Midterm Report

emanuel — 2010-04-22T22:05:21+02:00

J. R. Quinlan, and R. M. Cameron-Jones Proceedings of the 6th European Conference on Machine Learning, page 3--20. London, UK, Springer-Verlag, (1993)

Avoiding Pitfalls When Learning Recursive Theories

emanuel — 2010-04-22T22:04:43+02:00

R. M. Cameron-Jones, and J. R. Quinlan Proceedings of the 13th International Joint Conference on Artificial Intelligence, page 1050--1057. Morgan Kaufmann, (1993)

Inductive Functional Program Synthesis -- A Term-Construction and Folding Approach

emanuel — 2010-04-21T22:36:03+02:00

Emanuel Kitzelmann Technische Universität Berlin, Diplomarbeit, (2003)Unpublished .

Induction of Functional Programs based on Relations between I/O Examples

emanuel — 2010-04-21T22:14:40+02:00

Emanuel Kitzelmann, and Ute Schmid (2006)Poster abstract at the German Conference on Artificial Intelligence .

Inductive Synthesis of Functional Programs: An Explanation Based Generalization Approach

emanuel — 2010-04-21T22:13:16+02:00

Emanuel Kitzelmann, and Ute Schmid Journal of Machine Learning Research (2006)Revised version of~KiSc05 .

Speeding up the Synthesis of Programs from Traces

emanuel — 2010-04-21T22:07:00+02:00

A.W. Biermann, R.I. Baum, and F.E. Petry IEEE Transactions on Computers 24(2):122--136 (1975)

Software Development by Refinement

emanuel — 2010-04-21T22:06:18+02:00

Dusko Pavlovic, and Douglas R. Smith Formal Methods at the Crossroads: From Panacea to Foundational Support, volume 2757 of LNCS, page 267--286. (2003)

Constructing Programs from Example Computations

emanuel — 2010-04-21T22:05:42+02:00

A.W. Biermann, and R. Krishnaswamy IEEE Transactions on Software Engineering 2(3):141--153 (1976)

The Hierarchical Synthesis of LISP Scanning Programs

emanuel — 2010-04-21T22:04:40+02:00

A. W. Biermann, and D. R. Smith Information Processing 77, page 41--45. Amsterdam, North-Holland Publishing, (1977)

A Production Rule Mechanism for Generating LISP Code

emanuel — 2010-04-21T22:03:53+02:00

Alan W. Biermann, and Douglas R. Smith IEEE Transactions on Systems, Man, and Cybernetics 9(5):260--276 (1979)

The Appropriateness of Predicate Invention as Bias Shift Operation in ILP

emanuel — 2010-04-21T21:56:05+02:00

Irene Stahl Machine Learning 20(1):95--117 (1995)

Automatic Program Synthesis from Example Problems

emanuel — 2010-04-21T21:55:06+02:00

L. Siklossy, and D. A. Sykes International Joint Conference on Artificial Intelligence IJCAI'75, page 268--273. (1975)

Inferring LISP Programs from Examples

emanuel — 2010-04-21T21:54:38+02:00

D. Shaw, W. Swartout, and C. Green International Joint Conference on Artificial Intelligence IJCAI'75, page 260--267. (1975)

Synthesis of LISP Functions from Examples

emanuel — 2010-04-21T21:54:10+02:00

S. Hardy International Joint Conference on Artificial Intelligence IJCAI'75, page 240--245. (1975)

Learning Recursive Control Programs from Problem Solving

emanuel — 2010-02-23T13:10:12+01:00

Pat Langley, and Dongkyu Choi Journal of Machine Learning Research (2006)Special Topic on Inductive Programming .

Inducing Constructor Systems from Example-Terms by Detecting Syntactical Regularities

emanuel — 2009-06-21T15:29:30+02:00

Emanuel Kitzelmann, and Ute Schmid Electronic Notes in Theoretical Computer Science 174(1):49--63 (2007)

Inductive Program Synthesis: From Theory to Application

emanuel — 2009-06-21T15:27:54+02:00

Ute Schmid, Emanuel Kitzelmann, and Fritz Wysotzki Beiträge zum Treffen der GI-Fachgruppe 1.1.3 Maschinelles Lernen FGML 2002, page 135--141. (2002)