Rules and Strategies in Java - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2008

Rules and Strategies in Java

Pierre-Etienne Moreau
  • Fonction : Auteur
  • PersonId : 831023
Constraints, automatic deduction and software properties proofs
Antoine Reilles
  • Fonction : Auteur
  • PersonId : 755817
  • IdRef : 114734895
Constraints, automatic deduction and software properties proofs

Résumé

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.

Domaines

Langage de programmation [cs.PL]
Fichier principal
Vignette du fichier
wrs.pdf (116.41 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Pierre-Etienne Moreau  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/inria-00185698

Soumis le : mardi 6 novembre 2007-17:44:45

Dernière modification le : vendredi 24 mars 2023-14:52:49

Archivage à long terme le : lundi 24 septembre 2012-14:55:23

Télécharger pour visualiser

Dates et versions

inria-00185698 , version 1 (06-11-2007)

Identifiants

  • HAL Id : inria-00185698 , version 1

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA UNIV-LORRAINE INRIA2 LORIA
52 Consultations
195 Téléchargements

Partager

Gmail Facebook X LinkedIn More