4211 search results - page 119 / 843 » Types as Abstract Interpretations |
111
Voted
ICALP
2004
Springer
15 years 9 months ago
2004
Springer
We generalise the notion of pre-logical predicates [HS02] to arbitrary simply typed formal systems and their categorical models. We establish the basic lemma of pre-logical predica...
156
Voted
TPHOL
2000
IEEE
15 years 8 months ago
2000
IEEE
Abstract. This paper presents proof terms for simply typed, intuitionistic higher order logic, a popular logical framework. Unification-based algorithms for the compression and re...
143
Voted
CASC
2010
Springer
15 years 2 months ago
2010
Springer
Computer algebra in scientific computation squarely faces the dilemma of natural mathematical expression versus efficiency. While higher-order programming constructs and parametri...
124
Voted
GECCO
2006
Springer
15 years 7 months ago
2006
Springer
In this paper, the issue of adapting probabilities for Evolutionary Algorithm (EA) search operators is revisited. A framework is devised for distinguishing between measurements of...
122
Voted
EUROPAR
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. We present parallel algorithms for triangular periodic Sylvester-type matrix equations, conceptually being the third step of a periodic Bartels