11397 search results - page 205 / 2280 » A Relational Abstraction for Functions |
158
click to vote
ICTAC
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Differing from [6] this paper reduces non-linear ranking function discovering for polynomial programs to semi-algebraic system solving, and demonstrates how to apply the...
200
click to vote
MSCS
2006
15 years 7 months ago
2006
We show that the extensional ordering of the sequential functionals of pure type 3, e.g. as defined via game semantics [2, 4], is not cpo-enriched. ws that this model does not equ...
109
click to vote
MOC
2002
15 years 6 months ago
2002
Abstract. We present a rational version of the classical Landen transformation for elliptic integrals. This is employed to obtain explicit closed-form expressions for a large class...
195
click to vote
AAIP
2009
15 years 5 months ago
2009
Abstract. This paper describes a very flexible way to synthesize functions matching a given predicate. This can be used to find general recursive functions or -terms obeying an inp...
185
click to vote
CSL
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The linear lambda calculus is very weak in terms of expressive power: in particular, all functions terminate in linear time. In this paper we consider a simple extension ...