[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Savannah-register-public] [task #12335] Submission of ReCoCalc (Precond

From: Julien Cohen
Subject: [Savannah-register-public] [task #12335] Submission of ReCoCalc (Precondition Calculus for Static Composition of Refactoring Operations)
Date: Mon, 03 Dec 2012 16:11:53 +0000
User-agent: Mozilla/5.0 (X11; Ubuntu; Linux i686; rv:17.0) Gecko/17.0 Firefox/17.0


                 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



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
<> page*,
accessible only to site administrators, effectively *logged as site
administrators* (superuser):

* Group Administration

= Registration Details =

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

This is a variant of the CECILL 2 licence for libraries. CECILL 2 is
compatible with GNU GPL according to


==== 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: ====

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

==== Tarball URL: ====


Reply to this item at:


  Message posté via/par Savannah

reply via email to

[Prev in Thread] Current Thread [Next in Thread]