Learning programs from traces using version space algebra

Proceedings of the 2nd International Conference on Knowledge Capture, K-CAP 2003

Volumn , Issue , 2003, Pages 36-43

  Lau, Tessa ^a   Domingos, Pedro ^b   Weld, Daniel S ^b  

^a IBM T J WATSON RESEARCH CENTER   (United States)

^b UNIVERSITY OF WASHINGTON   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; COMPUTER PROGRAMMING; COMPUTER SOFTWARE; DECISION TREES; REVERSE ENGINEERING;

EXECUTION TRACE; INTRODUCTORY COMPUTER SCIENCE; LEARNING PROGRAMS; LEARNING TECHNIQUES; PROCEDURAL LANGUAGES; PROGRAMMING BY DEMON-STRATION; SOFTWARE REVERSE ENGINEERING; VERSION SPACE ALGEBRA;

C++ (PROGRAMMING LANGUAGE);

EID: 77149129797     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/945645.945654     Document Type: Conference Paper

References (18)

1. D. R. Barstow. An experiment in knowledge-based automatic programming. Artificial Intelligence, 12:73-119, 1979.
2. A. W. Biermann. On the Inference of Turing Machines from Sample Computations. Artificial Intelligence, 3:181-198, 1972.
3. T. Cormen, C. Leiserson, and R. Rivest. Introduction to Algorithms. MIT Press, 1991.
4. Edsger W. Dijkstra. The Discipline of Programming. Prentice Hall, Inc., Englewood Cliffs, NJ, 1976.
5. M. Ernst, A. Czeisler, W. Griswold, and D. Notkin. Quickly detecting relevant program invariants. In Proceedings of the 22nd International Conference on Software Engineering (ICSE 2000), pages 449-458, Limerick, Ireland, June 2000.
6. C. Green and D. Barstow. On program synthesis knowledge. Artificial Intelligence, 10:241-279, 1978.
7. David Gries. The Science of Programming. Springer-Verlag, New York, NY, 1981.
8. Haym Hirsh. Theoretical underpinnings of version spaces. In Proceedings of the Twelfth International Joint Conference on Artificial Intelligence, pages 665-670. San Francisco, CA: Morgan Kaufmann, July 1991.
9. N. Kushmerick, D. Weld, and R. Doorenbos. Wrapper Induction for Information Extraction. In Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, pages 729-737. San Francisco, CA: Morgan Kaufmann, 1997.
10. Tessa Lau, Pedro Domingos, and Daniel S. Weld. Version space algebra and its application to programming by demonstration. In Proceedings of the Seventeenth International Conference on Machine Learning, pages 527-534, June 2000.
11. Henry Lieberman, editor. Your Wish is My Command: Giving Users the Power to Instruct their Software. Morgan Kaufmann, 2001.
12. Z. Manna and R. Waldinger. Knowledge and reasoning in program synthesis. Artificial Intelligence, 6, 1975.
13. T. Mitchell. Generalization as search. Artificial Intelligence, 18:203-226, 1982.
14. Dan Hua Mo. Learning Text Editing Procedures from Examples. Master's thesis, University of Calgary, December 1989.
15. C. Nédellec, C. Rouveirol, H. Adé, F. Bergadano, and B. Tausend. Declarative bias in ILP. In L. de Raedt, editor, Advances in Inductive Logic Programming, pages 82-103. IOS Press, Amsterdam, the Netherlands, 1996.
16. S. W. Norton and H. Hirsh. Classifier learning from noisy data as probabilistic evidence combination. In Proceedings of the Tenth National Conference on Artificial Intelligence, pages 141-146, Menlo Park, CA, 1992. AAAI Press.
17. C. Rich and R. Waters. The programmer's apprentice: A research overview. IEEE Computer, 21(11):10-25, 1988.
18. David E. Shaw, William R. Swartout, and C. Cordell Green. Inferring lisp programs from examples. In Proceedings of the Fourth International Joint Conference on Artificial Intelligence, pages 260-267, Tblisi, Georgia, USSR, 1975. San Francisco, CA: Morgan Kaufmann.