We present an algorithmic method to obtain pure rewriting systems from logical descriptions of languages. The method, presented in an SPO framework, is applicable to visual language specification.
From formulae to rewriting systems / Bottoni, Paolo Gaspare; PARISI PRESICCE, Francesco; M., Simeoni. - STAMPA. - 1764(2000), pp. 267-280. [10.1007/978-3-540-46464-8_19].
From formulae to rewriting systems
BOTTONI, Paolo Gaspare;PARISI PRESICCE, Francesco;
2000
Abstract
We present an algorithmic method to obtain pure rewriting systems from logical descriptions of languages. The method, presented in an SPO framework, is applicable to visual language specification.File allegati a questo prodotto
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
