3713 search results - page 97 / 743 » Constructing a Calculus of Programs |
129
click to vote
CADE
2006
Springer
16 years 3 months ago
2006
Springer
Church's Higher Order Logic is a basis for proof assistants -- HOL and PVS. Church's logic has a simple set-theoretic semantics, making it trustworthy and extensible. We ...
124
click to vote
MPC
2004
Springer
15 years 8 months ago
2004
Springer
The efficient representation and manipulation of data is one of the fundamental tasks in the construction of large software systems. Parametric polymorphism has been one of the mo...
108
click to vote
GECCO
2007
Springer
15 years 9 months ago
2007
Springer
A common problem in genetic programming search algorithms is destructive crossover in which the offspring of good parents generally has worse performance than the parents. Design...
174
click to vote
EUSFLAT
2009
15 years 27 days ago
2009
In this paper we present the operational semantics of RFuzzy, a fuzzy Logic Programming framework that represents thruth values using real numbers from the unit interval. RFuzzy pr...
115
click to vote
CLIMA
2007
15 years 4 months ago
2007
Abstract. In this paper we are concerned with proposing, analyzing and implementing simple, yet flexible, constructs for multi-agent programming. In particular, we wish to extend ...