Skip to Main content Skip to Navigation

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 :
Complete list of metadata
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


  • HAL Id : inria-00075353, version 1


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



Record views


Files downloads