An approach to the description of formal languages' semantics

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