1131 search results - page 60 / 227 » Logic Programming, Functional Programming, and Inductive Def... |
95
Voted
ICLP
1991
Springer
15 years 4 months ago
1991
Springer
An extended logic programming language embodying sets is developed in successive stages, introducing at each stage simple set dictions and operations, and discussing their operati...
177
Voted
POPL
2002
ACM
16 years 24 days ago
2002
ACM
An adaptive computation maintains the relationship between its input and output as the input changes. Although various techniques for adaptive computing have been proposed, they r...
79
Voted
GECCO
2008
Springer
15 years 1 months ago
2008
Springer
Determining if a group of proteins are functionally associated among themselves is an open problem in molecular biology. Within our long term goal of applying Genetic Programming ...
100
Voted
CORR
2010
Springer
15 years 17 days ago
2010
Springer
The goal of this lecture is to show how modern theorem provers--in this case, the Coq proof assistant--can be used to mechanize the specification of programming languages and their...
103
click to vote
WCFLP
2005
ACM
15 years 6 months ago
2005
ACM
Programmers need mechanisms to store application specific data that persists multiple program runs. To accomplish this task, they usually have to deal with storage specific code...