We propose a new paradigm for the specification of the syntax and semantics of visual languages, where multisets, contrary to so far existing works, are integrated as first-class citizens, in the sense that they can be manipulated without any limitation. We show that the resulting systems, called multiset rewriting systems, are extremely expressive for reasoning about multidimensional objects. Moreover, we provide a thorough analysis of their properties, like confluence and termination, and of their possible extensions.
On the Specification of Visual Languages: Multisets as First-Class Citizens
MARCHIORI, MASSIMO
1996
Abstract
We propose a new paradigm for the specification of the syntax and semantics of visual languages, where multisets, contrary to so far existing works, are integrated as first-class citizens, in the sense that they can be manipulated without any limitation. We show that the resulting systems, called multiset rewriting systems, are extremely expressive for reasoning about multidimensional objects. Moreover, we provide a thorough analysis of their properties, like confluence and termination, and of their possible extensions.
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
