11397 search results - page 13 / 2280 » A Relational Abstraction for Functions |
64
Voted
CORR
2004
Springer
14 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
15 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
14 years 9 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
14 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...
76
Voted
ESANN
2007
14 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...