Contact the authors <hbenameur at yahoo.ca>, <Francois.Clement at inria.fr>, <Pierre.Weis at inria.fr>.

Ref-indic:

Version 1.1+pl0

Description
Documentation
Requirements
Download
Bug reports and mailing list
Authors
Acknowledgements
Copyright

Description

Ref-indic is an adaptive parameterization platform using refinement indicators.

Ref-indic implements a generic version of the refinement indicator algorithm that can dock specific programs provided they conform to the generic algorithm API.

The API of Ref-indic requires four main functionalities for the user specific program, it must be able:

Given any such user specific program, the inversion platform automatically provides a program that solves the corresponding user inverse problem using the refinement indicator algorithm.

Documentation

The Ref-indic user's manual is available on line.

You can also download the manual as DVI, PS, and PDF files.

The manual only exists in the English version, volunteers to translate it are warmly welcome...

Requirements

You will need Objective Caml version 4.00 or higher to compile the sources.

The OCaml image library Grimage, the polyglot Input/Output library Pio, and the OCaml user's additional library Ulib are also required to compile and link Ref-indic. They are provided, and their configuration, compilation, and installation (in a private location) is fully automatic.

See the INSTALL file provided in the distribution for installation tips.

Download

The latest version (1.1+pl0) of the sources of Ref-indic are available either via FTP or HTTP.

See the CHANGES file provided in the distribution.

Bug reports and mailing list

If you find a bug in Ref-indic, please write to <refinement-bugs at inria.fr>.

If you want to get in touch with the implementors of Ref-indic (to contribute some new ideas or lines of code), please write to <refinement-devel at inria.fr>.

If you want to get in touch with the users of Ref-indic, please write to <refinement-users at inria.fr>.

Authors

The version 1.1+pl0 of Ref-indic was developed from 2013 to 2014 by

Hend Ben Ameur <hbenameur at yahoo.ca>,
François Clément <Francois.Clement at inria.fr>, and
Pierre Weis <Pierre.Weis at inria.fr>.

Acknowledgments

The algorithm implemented in Ref-indic comes from papers co-written with Guy Chavent <Guy.Chavent at inria.fr>.

Ref-indic is entirely written in OCaml.

Copyright

This program is free software distributed under the BSD license. See the LICENSE file provided in the distribution.


Last modification date: Thursday, February 27th, 2014 on lafleche by fclement.
Copyright © 2013-2014 Institut National de Recherche en Informatique et en Automatique (INRIA), all rights reserved.