BibSonomy :: user  :: emanuel ::

bookmarks

publications

(3)   

• On the Use of Inductive Reasoning in Program Synthesis: Prejudice and Prospects
  Pierre Flener and Lubos Popelinsky Proceedings of the 4th International Workshops on Logic Programming Synthesis and Transformationn -- Meta-Programming in Logic, page69--87. Springer-Verlag, (1994)
  to position_paper inductive_programming program_synthesis inproceedings ilp software_engineering by emanuel on May 16, 2008, 6:04 PM
  URL | BibTeX 
• Specifications are necessarily informal or: some more myths of formal methods
  Baudouin Le Charlier and Pierre Flener Journal of Systems and Software40(3):275--296(1998)
  to position_paper ase formal_methods article comparison software_engineering program_synthesis by emanuel and 2 other people on Apr 18, 2008, 5:43 PM
  URL | BibTeX 
• Inductive Programming
  Pierre Flener and Derek Partridge Automated Software Engineering8(2):131--137(2001)
  to program_synthesis inductive_programming induction position_paper article ase software_engineering by emanuel and 2 other people on Apr 18, 2008, 5:29 PM
  URL | BibTeX