Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [34 references]  Display  Hide  Download

https://hal.inria.fr/hal-01514660
Contributor : Hal Ifip <>
Submitted on : Wednesday, April 26, 2017 - 3:21:59 PM
Last modification on : Wednesday, April 26, 2017 - 3:26:39 PM
Long-term archiving on: : Thursday, July 27, 2017 - 12:58:01 PM

File

978-3-642-40213-5_12_Chapter.p...
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

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⟩

Share

Metrics

Record views

85

Files downloads

190