Skip to Main content Skip to Navigation
Reports

Programming by multiset transformation

Jean-Pierre Banâtre 1 Daniel Le Métayer 1
1 LSP - Langages et Systèmes Parallèles
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires
Abstract : We present a new formalism called Gamma in which programs are described in terms of multiset transformations. A distinguishing property of Gamma is the possibility of expressing algorithms in a very abstract way, without any artificial sequentiality. The expressive power of the formalism is illustrated through a series of examples chosen from a wide range of domains (string processing problems, graph problems, geometric problems...).
Document type :
Reports
Complete list of metadata

https://hal.inria.fr/inria-00075353
Contributor : Rapport de Recherche Inria <>
Submitted on : Wednesday, May 24, 2006 - 6:02:51 PM
Last modification on : Thursday, January 7, 2021 - 4:27:54 PM
Long-term archiving on: : Tuesday, April 12, 2011 - 10:43:59 PM

Identifiers

  • HAL Id : inria-00075353, version 1

Citation

Jean-Pierre Banâtre, Daniel Le Métayer. Programming by multiset transformation. [Research Report] RR-1205, Inria. 1990. ⟨inria-00075353⟩

Share

Metrics

Record views

438

Files downloads

438