Un Approccio Formale Alla Descrizione Della Semantica Dei Linguaggi Di Programmazione
AbstractThe 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.
Download InfoIf you experience problems downloading a file, check if you have the proper application to view it first. In case of further problems read the IDEAS help page. Note that these files are not on the IDEAS site. Please be patient as the files may be large.
Bibliographic InfoPaper provided by Dipartimento di Scienze Economiche, Matematiche e Statistiche, Universita' di Foggia in its series Quaderni DSEMS with number 17-2004.
Date of creation: Oct 2004
Date of revision:
You can help add them by filling out this form.
reading list or among the top items on IDEAS.Access and download statisticsgeneral 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.