Automatic programming: A tutorial on formal methodologies
Journal of Symbolic Computation
Directions for user interface management systems research
ACM SIGGRAPH Computer Graphics
Mechanical translation of set theoretic problem specifications into efficient RAM code-A case study
Journal of Symbolic Computation
Artificial intelligence and software engineering
ICSE '87 Proceedings of the 9th international conference on Software Engineering
Automatic programming for streams II: transformational implementation
ICSE '88 Proceedings of the 10th international conference on Software engineering
PRECOMAS an implementation of constructive matching methodology
ISSAC '90 Proceedings of the international symposium on Symbolic and algebraic computation
Compiler technology for parallel scientific computation
Scientific Programming
A phrase-structured grammatical framework for transportable natural language processing
Computational Linguistics
Inducing Constructor Systems from Example-Terms by Detecting Syntactical Regularities
Electronic Notes in Theoretical Computer Science (ENTCS)
Inductive Synthesis of Functional Programs: An Explanation Based Generalization Approach
The Journal of Machine Learning Research
Inductive Synthesis of Recursive Functional Programs
KI '07 Proceedings of the 30th annual German conference on Advances in Artificial Intelligence
Analysis and Evaluation of Inductive Programming Systems in a Higher-Order Framework
KI '08 Proceedings of the 31st annual German conference on Advances in Artificial Intelligence
An introduction to inductive programming
Artificial Intelligence Review
Understanding and automating algorithm design
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 2
Automatic programming for streams
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
I/O guided detection of list catamorphisms: towards problem specific use of program templates in IP
Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and program manipulation
Towards programming languages for machine learning and data mining
ISMIS'11 Proceedings of the 19th international conference on Foundations of intelligent systems
Inductive rule learning on the knowledge level
Cognitive Systems Research
| Hi-index | 0.00 |