A new representation of two-dimensional patterns and applications to interactive programming

DOI10.1007/978-3-642-40213-5_12MaRDI QIDQ2948244zbMATH OpenOpenAlexFDO

Authors Iulia Teodora Banu-Demergian, Ciprian Ionut Paduraru, Gh. Ştefănescu

Publication date 30 September 2015

Published in Fundamentals of Software Engineering (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-40213-5_12

zbMATH Keywords

contoursformal methodsregular expressionsstructured interactive programmingtwo-dimensional patterns

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Formal languages and automata (68Q45)

Recommendations

• Towards a formal representation of interactive systems
• On contour representation of two dimensional patterns
• A Quest for Kleene Algebra in 2 Dimensions
• Pattern expressions and pattern automata
• Developments in Language Theory

Cited in

(3)

• scientific article; zbMATH DE number 1543322 (Why is no real title available?)
• On contour representation of two dimensional patterns
• Towards a formal representation of interactive systems

This page was built for publication: A new representation of two-dimensional patterns and applications to interactive programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2948244)