Naive algorithm design techniques—a case study
Selected and updated papers from the proceedings of the 1982 European conference on Progress in artificial intelligence
Program Transformation Systems
ACM Computing Surveys (CSUR)
A System for Assisting Program Transformation
ACM Transactions on Programming Languages and Systems (TOPLAS)
The Science of Programming
Automatic Program Construction Techniques
Automatic Program Construction Techniques
Human Problem Solving
Computational Geometry A Survey
IEEE Transactions on Computers
Hi-index | 0.00 |
In this paper we present a type inference method for Prolog programs. The new idea is to describe a superset of the success set by associating a type substitution (an assignment of sets of ground terms to variables) with each head of definite clause. ...