Publications

Export 1 results:
Author Title Type [ Year(Asc)]
Filters: Keyword is SPECTRE algorithmic_debugging debugging ilp inductive_programming ip-system program_synthesis  [Clear All Filters]
1996
Alexin Z, Gyimóthy T, Boström H.  1996.  Integrating Algorithmic Debugging and Unfolding Transformation in an Interactive Learner. Proceedings of the European Conference on Artificial Intelligence (ECAI'96). :403-407.