[Savannah-register-public] [task #12335] Submission of ReCoCalc (Precondition Calculus for Static Composition of Refactoring Operations)

[Julien Cohen]

URL:
  <http://savannah.nongnu.org/task/?12335>

                 Summary: Submission of ReCoCalc (Precondition Calculus for
Static Composition of Refactoring Operations)
                 Project: Savannah Administration
            Submitted by: jcohen
            Submitted on: lun. 03 déc. 2012 16:11:52 GMT
         Should Start On: lun. 03 déc. 2012 00:00:00 GMT
   Should be Finished on: jeu. 13 déc. 2012 00:00:00 GMT
                Category: Project Approval
                Priority: 5 - Normal
                  Status: None
                 Privacy: Public
        Percent Complete: 0%
             Assigned to: None
             Open/Closed: Open
         Discussion Lock: Any
                  Effort: 0.00

    _______________________________________________________

Details:

A new project has been registered at Savannah 
This project account will remain inactive until a site admin approves or
discards the registration.


= Registration Administration =

While this item will be useful to track the registration process, *approving
or discarding the registration must be done using the specific Group
Administration
<https://savannah.nongnu.org/siteadmin/groupedit.php?group_id=11096> page*,
accessible only to site administrators, effectively *logged as site
administrators* (superuser):

* Group Administration
<https://savannah.nongnu.org/siteadmin/groupedit.php?group_id=11096>


= Registration Details =

* Name: *ReCoCalc (Precondition Calculus for Static Composition of Refactoring
Operations)*
* System Name:  *recocalc*
* Type: non-GNU software & documentation
* License: Other (CECILL-C

http://www.cecill.info/licences/Licence_CeCILL-C_V1-en.html

This is a variant of the CECILL 2 licence for libraries. CECILL 2 is
compatible with GNU GPL according to
http://www.gnu.org/philosophy/license-list.html#GPLCompatibleLicenses)

----

==== Description: ====
A library to compute the precondition of a sequence of refactoring operations.
The user has to give a formal description of the refactoring operations
(precondition and behavior) and uses the functions of the library to compute
the minimum precondition that ensures that a chain of refactoring opeations
won't fail and give the specified result.

The preconditions are described by propositional logic. The set of
propositions are defined by the user for the language he/she handles.

The implementation language is Ocaml. This is an Ocaml library. However, the
language handled by the library is not restricted to Ocaml.

The calculus and the kind of descriptions expected for the refactoring
operations are described in the paper Static Composition of Refactorings by G.
Kniesel and H. Koch, published in Science of Computer Programming, 52(Issues
1-3): pages 9-51, 2004.


==== Other Software Required: ====
OCaml

http://caml.inria.fr/ocaml/release.fr.html

Q Public License version 1.0 for the compiler + GNU Library General Public
License version 2 for the standard libs.


==== Tarball URL: ====
http://savannah.gnu.org/submissions_uploads/ReCoCalc.tgz






    _______________________________________________________

Reply to this item at:

  <http://savannah.nongnu.org/task/?12335>

_______________________________________________
  Message posté via/par Savannah
  http://savannah.nongnu.org/