A rewrite system to build planar subdivisions - Archive ouverte HAL
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
34 Consultations
40 Téléchargements

Partager

More