HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

Rules and Strategies in Java

Pierre-Etienne Moreau 1 Antoine Reilles 1
1 PROTHEO - Constraints, automatic deduction and software properties proofs
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : In this paper we present the essential feature we have considered when designing a new language based on rules and strategies. Relying on the implementation of Tom, we explain how these ingredients can be implemented and integrated in a Java environment.
Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/inria-00185698
Contributor : Pierre-Etienne Moreau Connect in order to contact the contributor
Submitted on : Tuesday, November 6, 2007 - 5:44:45 PM
Last modification on : Friday, February 4, 2022 - 3:34:44 AM
Long-term archiving on: : Monday, September 24, 2012 - 2:55:23 PM

File

wrs.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00185698, version 1

Collections

Citation

Pierre-Etienne Moreau, Antoine Reilles. Rules and Strategies in Java. 7th International Workshop on Reduction Strategies in Rewriting and Programming - WRS 2007, Jun 2007, Paris, France. pp.71-82. ⟨inria-00185698⟩

Share

Metrics

Record views

52

Files downloads

179