1989 search results - page 234 / 398 » Set functions for functional logic programming |
184
click to vote
FLOPS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The paper "Scrap your boilerplate" (SYB) introduces a combinator library for generic programming that offers generic traversals and queries. Classically, suppor...
213
click to vote
CADE
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. We present the first implementation of a theorem prover running on a smart card. The prover is written in Java and implements a dual tableau calculus. Due to the limited ...
171
click to vote
COMPSAC
1998
IEEE
15 years 10 months ago
1998
IEEE
Abstract. For object-oriented programming, the Visitor pattern enables the definition of a new operation on an object structure without changing the classes of the objects. The pri...
170
click to vote
EOR
2006
15 years 6 months ago
2006
ABSTRACT. We consider equilibrium constrained optimization problems, which have a general formulation that encompasses well-known models such as mathematical programs with equilibr...
183
click to vote
BERTINORO
2005
Springer
15 years 12 months ago
2005
Springer
Fractal proteins are an evolvable method of mapping genotype to phenotype through a developmental process, where genes are expressed into proteins comprised of subsets of the Mande...