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.
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...