Un Approccio Formale Alla Descrizione Della Semantica Dei Linguaggi Di Programmazione
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 the programming languages is presented. Tools are used newer than the semantics of Kleene - such as the Scotts theory of the cathegories and mathematical theory of the computation, which are here outlined and motivated.
|Date of creation:||Oct 2004|
|Contact details of provider:|| Postal: Largo Papa Giovanni Paolo II, 1 -71100- Foggia (I)|
Web page: http://www.dsems.unifg.it
More information through EDIRC
When requesting a correction, please mention this item's handle: RePEc:ufg:qdsems:17-2004. See general information about how to correct material in RePEc.
For technical questions regarding this item, or to correct its authors, title, abstract, bibliographic or download information, contact: (Luca Grilli)
If references are entirely missing, you can add them using this form.