S. Varennes

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
The purpose of this paper is to present some current investigations in the eld of program transformations in an industrial context. These investigations are dedicated to the beneets that two transformations { the well-known unfolding TS84] and the aggregating deened here { can bring to logic programs written following some methodology. Dassault Electronique(More)
  • 1