A rewrite system to build planar subdivisions - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 1995

A rewrite system to build planar subdivisions

Résumé

Algebraic specifications allied to rewriting are more and more used in design and logical prototyping of programs. We show how these techniques can be applied to a basic problem in computational geometry, namely the construction of planar subdivisions. We build up a simple, complete and convergent system of rules to cope with this problem and suggest a formal method to study and classify the specified algorithms.
Fichier principal
Vignette du fichier
document.pdf (181.36 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01208572 , version 1 (05-10-2015)

Identifiants

  • HAL Id : hal-01208572 , version 1

Citer

David Cazier, Jean-François Dufourd. A rewrite system to build planar subdivisions. Canadian Conference on Computational Geometry, 1995, Québec, Canada. pp.235-240. ⟨hal-01208572⟩

Collections

CNRS SITE-ALSACE
33 Consultations
31 Téléchargements

Partager

Gmail Facebook X LinkedIn More