3136 search results - page 173 / 628 » Genetic programming theory |
144
click to vote
ECOOP
2003
Springer
15 years 9 months ago
2003
Springer
We design and study νObj, a calculus and dependent type system for objects and classes which can have types as members. Type can be aliases, abstract types, or new types. The type...
122
click to vote
ECOOP
1998
Springer
15 years 8 months ago
1998
Springer
Predicate dispatching generalizes previous method dispatch mechanisms by permitting arbitrary predicates to control method applicability and by using logical implication between pr...
174
click to vote
CADE
1992
Springer
15 years 8 months ago
1992
Springer
Abstract. We exhibit a methodology for formulating and verifying metatheorems about deductive systems in the Elf language, an implementation of the LF Logical Framework with an ope...
132
Voted
POPL
2010
ACM
16 years 1 months ago
2010
ACM
Most systems based on separation logic consider only restricted forms of implication or non-separating conjunction, as full support for these connectives requires a non-trivial no...
148
click to vote
CORR
1999
Springer
15 years 4 months ago
1999
Springer
The abstract mathematical theory of partial differential equations (PDEs) is formulated in terms of manifolds,scalar fields, tensors, and the like, but these algebraic structures a...