A New Representation of Two-Dimensional Patterns and Applications to Interactive Programming - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2013

A New Representation of Two-Dimensional Patterns and Applications to Interactive Programming

Résumé

Regular expressions and the associated regular algebra provide a rich formalism for specifying and analysing sequential models of computation. For parallel computation, extensions to handle two-dimensional patterns are often required. In this paper we present a new type of regular expressions for two-dimensional patterns based on contours and their composition. Targeted applications comes from the area of modelling, specification, analysis and verification of structured interactive programs via the associated scenario semantics.
Fichier principal
Vignette du fichier
978-3-642-40213-5_12_Chapter.pdf (361.31 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01514660 , version 1 (26-04-2017)

Licence

Identifiants

Citer

I.T. Banu-Demergian, C.I. Paduraru, G. Stefanescu. A New Representation of Two-Dimensional Patterns and Applications to Interactive Programming. 5th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2013, Tehran, Iran. pp.183-198, ⟨10.1007/978-3-642-40213-5_12⟩. ⟨hal-01514660⟩
62 Consultations
113 Téléchargements

Altmetric

Partager

More