11397 search results - page 13 / 2280 » A Relational Abstraction for Functions |
CORR
2004
Springer
13 years 9 months ago
2004
Springer
Abstract. We investigate two associative products over the ring of symmetric functions related to the intransitive and Cartesian products of permutation groups. As an application, ...
FLOPS
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. We present a practical tool for defining and proving properties of recursive functions in the Coq proof assistant. The tool generates from pseudo-code the graph of the in...
ICALP
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. Given an ML function f : (int->int)->int how can we rigorously specify that f is pure, i.e., produces no side-effects other than those arising from calling its func...
ISJ
2006
13 years 9 months ago
2006
Abstract. While a large body of research exists on the development and implementation of software, organizations are increasingly acquiring enterprise software packages [e.g. enter...
ESANN
2007
13 years 11 months ago
2007
Abstract. We propose a two-step approach for the analysis of functional magnetic resonance images, in the context of natural stimuli. In the first step, elements of functional bra...