Journal of Mathematical Sciences: Advances and ApplicationsAuthor's: Crescenzio Gallo
Pages: [91] - [108]
Received Date: April 17, 2008
Submitted by:
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 categories and mathematical theory of the computation, which are here outlined and motivated.
formal languages, semantics.
