Programming by multiset transformation - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 1990

Programming by multiset transformation

Jean-Pierre Banâtre
  • Function : Author
  • PersonId : 830960
Daniel Le Métayer

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...).

Domains

Other [cs.OH]
Fichier principal
Vignette du fichier
RR-1205.pdf (1.21 Mo) Télécharger le fichier

Dates and versions

inria-00075353 , version 1 (24-05-2006)

Identifiers

  • HAL Id : inria-00075353 , version 1

Cite

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

Share

Gmail Facebook Twitter LinkedIn More