|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
| paolini08ppdp (In proceedings) | |
| Author(s) | Luca Paolini and Mauro Piccolo |
| Title | « Semantically Linear Programming Languages » |
| In | 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming |
| Page(s) | 97--107 |
| Year | 2008 |
| Publisher | ACM,USA |
| Abstract | |
| We propose a paradigmatic programming language (called SlPCF) which is linear in a semantic sense. SlPCF is not syntactically linear, namely its programs can contain more than one occurrencies of the same variable. We give an interpretation of SlPCF into a model of linear coherence spaces and we show that such semantics is fully abstract with respect to our language. Furthermore, we discuss the independence of new syntactical operators and we address the universality problem. | |
Download the complete article:
| BibTeX code |
@inproceedings{paolini08ppdp,
author = {Paolini, Luca and Piccolo, Mauro},
booktitle = {10th International ACM SIGPLAN Symposium on Principles and
Practice of Declarative Programming},
exaddress = {Valencia, Spain},
abstract = {We propose a paradigmatic programming language (called SlPCF)
which is linear in a semantic sense. SlPCF is not syntactically
linear, namely its programs can contain more than one occurrencies
of the same variable. We give an interpretation of SlPCF into a
model of linear coherence spaces and we show that such semantics
is fully abstract with respect to our language. Furthermore, we
discuss the independence of new syntactical operators and we
address the universality problem.},
localfile = {http://www.di.unito.it/~paolini/papers/SemLinProgLanguage.pdf},
title = {Semantically Linear Programming Languages},
tag = {PPDP 2008},
publisher = {ACM,USA},
pages = {97--107},
year = 2008,
}
|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)
