A New Representation of Two-Dimensional Patterns and Applications to Interactive Programming - Fundamentals of Software Engineering
Conference Papers Year : 2013

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

Abstract

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
Origin Files produced by the author(s)
Loading...

Dates and versions

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

Licence

Identifiers

Cite

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 View
113 Download

Altmetric

Share

More