|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
| GianniniSZ19 (In proceedings) | |
| Author(s) | Paola Giannini, Marco Servetto and Elena Zucca |
| Title | « A Syntactic Model of Mutation and Aliasing » |
| In | Proceedings Twelfth Workshop on Developments in Computational Models and Ninth Workshop on Intersection Types and Related Systems, Oxford, UK, 8th July 2018 |
| Series | Electronic Proceedings in Theoretical Computer Science |
| Editor(s) | Michele Pagani and Sandra Alves |
| Volume | 293 |
| Page(s) | 39-55 |
| Year | 2019 |
| Publisher | Open Publishing Association |
| BibTeX code |
@inproceedings{GianniniSZ19,
volume = {293},
author = {Giannini, Paola and Servetto, Marco and Zucca, Elena},
series = {Electronic Proceedings in Theoretical Computer Science},
booktitle = {{\rm Proceedings Twelfth Workshop on} Developments in
Computational Models {\rm and Ninth Workshop on} Intersection
Types and Related Systems, {\rm Oxford, UK, 8th July 2018}},
editor = {Pagani, Michele and Alves, Sandra},
title = {A Syntactic Model of Mutation and Aliasing},
publisher = {Open Publishing Association},
doi = {10.4204/EPTCS.293.4},
year = {2019},
pages = {39-55},
}
|
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)