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.
Type de document :
Communication dans un congrès
Farhad Arbab; Marjan Sirjani. 5th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2013, Tehran, Iran. Springer Berlin Heidelberg, Lecture Notes in Computer Science, LNCS-8161, pp.183-198, 2013, Fundamentals of Software Engineering. 〈10.1007/978-3-642-40213-5_12〉
Liste complète des métadonnées

Littérature citée [34 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01514660
Contributeur : Hal Ifip <>
Soumis le : mercredi 26 avril 2017 - 15:21:59
Dernière modification le : mercredi 26 avril 2017 - 15:26:39
Document(s) archivé(s) le : jeudi 27 juillet 2017 - 12:58:01

Fichier

978-3-642-40213-5_12_Chapter.p...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

I.T. Banu-Demergian, C.I. Paduraru, G. Stefanescu. A New Representation of Two-Dimensional Patterns and Applications to Interactive Programming. Farhad Arbab; Marjan Sirjani. 5th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2013, Tehran, Iran. Springer Berlin Heidelberg, Lecture Notes in Computer Science, LNCS-8161, pp.183-198, 2013, Fundamentals of Software Engineering. 〈10.1007/978-3-642-40213-5_12〉. 〈hal-01514660〉

Partager

Métriques

Consultations de la notice

40

Téléchargements de fichiers

34