sign in · help · news · about ·

BibSonomy :: user :: emanuel ::

tag user group author concept BibTeX key search:all search:emanuel

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(3)

<< < 1 > >>

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, page 69--87. Springer-Verlag, (1994)
to ilp inductive_programming inproceedings position_paper program_synthesis software_engineering by emanuel on May 16, 2008, 6:04 PM
URL | BibTeX (0)
Specifications are necessarily informal or: some more myths of formal methods
Baudouin Le Charlier, and Pierre Flener Journal of Systems and Software 40(3):275--296 (1998)
to article ase comparison formal_methods position_paper program_synthesis software_engineering by emanuel and 2 other users on Apr 18, 2008, 5:43 PM
URL | BibTeX (0)
Inductive Programming
Pierre Flener, and Derek Partridge Automated Software Engineering 8(2):131--137 (2001)
to article ase induction inductive_programming position_paper program_synthesis software_engineering by emanuel and 1 other user on Apr 18, 2008, 5:29 PM
URL | BibTeX (0)

<< < 1 > >>publications per page: 5 10 20 50 100

a gripper