1131 search results - page 29 / 227 » Logic Programming, Functional Programming, and Inductive Def... |
102
Voted
LOPSTR
1994
Springer
15 years 4 months ago
1994
Springer
A technique for transformation of definite logic programs is presented. A first phase performs an analysis of the extended call/exit patterns of the source program. It is shown tha...
117
Voted
APLAS
2003
ACM
15 years 5 months ago
2003
ACM
We describe origami programming methodology based on constraint functional logic programming. The basic operations of origami are reduced to solving systems of equations which desc...
111
Voted
CADE
2006
Springer
16 years 21 days ago
2006
Springer
Abstract. Based on inductive definitions, we develop an automated tool for defining partial recursive functions in Higher-Order Logic and providing appropriate reasoning tools for ...
194
Voted
Book
This is an introductory book about machine learning. Notice that this is a draft book. It may contain typos, mistakes, etc.
The book covers the following topics: Boolean Functio...
103
click to vote
ICFP
2003
ACM
16 years 10 days ago
2003
ACM
A three-year study collected information bearing on the question of whether studying mathematics improves programming skills. An analysis of the data revealed significant differen...