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 <>
Submitted on : Tuesday, November 6, 2007 - 5:44:45 PM
Last modification on : Friday, February 26, 2021 - 3:28:06 PM
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

206

Files downloads

312