UN APPROCCIO FORMALE ALLA DESCRIZIONE DELLA SEMANTICA DEI LINGUAGGI DI PROGRAMMAZIONE

Crescenzio Gallo ()

Quaderni DSEMS from Dipartimento di Scienze Economiche, Matematiche e Statistiche, Universita' di Foggia

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 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: 2004-10
References: View complete reference list from CitEc
Citations:

Downloads: (external link)
http://www.economia.unifg.it/sites/sd01/files/alle ... 16/abstractq1704.pdf (application/pdf)
Our link check indicates that this URL is bad, the error code is: 404 Not Found (http://www.economia.unifg.it/sites/sd01/files/allegatiparagrafo/30-11-2016/abstractq1704.pdf [302 Found]--> https://www.economia.unifg.it/sites/sd01/files/allegatiparagrafo/30-11-2016/abstractq1704.pdf)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:ufg:qdsems:17-2004

Access Statistics for this paper

More papers in Quaderni DSEMS from Dipartimento di Scienze Economiche, Matematiche e Statistiche, Universita' di Foggia Largo Papa Giovanni Paolo II, 1 -71100- Foggia (I). Contact information at EDIRC.
Bibliographic data for series maintained by Luca Grilli ().