4211 search results - page 119 / 843 » Types as Abstract Interpretations |
137
click to vote
ICALP
2004
Springer
15 years 11 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...
189
click to vote
TPHOL
2000
IEEE
15 years 10 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...
187
click to vote
CASC
2010
Springer
15 years 5 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...
157
click to vote
GECCO
2006
Springer
15 years 10 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...
151
click to vote
EUROPAR
2008
Springer
15 years 8 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