The creation of new programming languages, capable of fully deploying the new technological innovations and operating environments, requires more and more accurate and affordable analysis. In this study, a technique for the generation of formal models for the specification of the semantics of programming languages is presented. Tools are used newer than the semantics of Kleene - such as the Scott’s theory of the cathegories and mathematical theory of the computation, which are here outlined and motivated.
An approach to the description of formal languages' semantics
GALLO, CRESCENZIO
2008-01-01
Abstract
The creation of new programming languages, capable of fully deploying the new technological innovations and operating environments, requires more and more accurate and affordable analysis. In this study, a technique for the generation of formal models for the specification of the semantics of programming languages is presented. Tools are used newer than the semantics of Kleene - such as the Scott’s theory of the cathegories and mathematical theory of the computation, which are here outlined and motivated.File in 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.
