Publications of Flener, P.
1998
| and , Specifications are necessarily informal, or: Some more myths of formal methods (1998), in: J of Systems and Software, 40(275-296) |
1997
| , Inductive logic program synthesis with DIALOGS (1997), in: Lecture Notes on Art Int, 1314(175-198) |
1996
| and , Logic program generalization through transformation schemata in logic program synthesis and transformation (1996), in: Lecture Notes in Computer Science, 1048(171-173) |
1994
| and , On the use of inductive reasoning in program synthesis: Prejudice and prospects (1994), in: Lecture Notes in Computer Science, 883(69-87) |