| GiaSerZuc16b (In proceedings)
|
| Author(s) | Paola Giannini, Marco Servetto and Elena Zucca |
| Title | « Coupling Catch Clauses with Local Declarations » |
| In | Proceedings of the 18th Workshop on Formal Techniques for Java-like Programs |
| Series | FTfJP'16 |
| Page(s) | 6:1--6:6 |
| Year | 2016 |
| Publisher | ACM |
| Address | New York, NY, USA |
| ISBN number | 978-1-4503-4439-5 |
| URL | http://doi.acm.org/10.1145/2955811.2955817 |
| Keywords |
| Keywords: Exceptions, Featherweight Java, Language design, Typed calculus
|
@inproceedings{GiaSerZuc16b,
author = {Giannini, Paola and Servetto, Marco and Zucca, Elena},
series = {FTfJP'16},
keywords = {Exceptions, Featherweight Java, Language design, Typed calculus},
numpages = {6},
url = {http://doi.acm.org/10.1145/2955811.2955817},
address = {New York, NY, USA},
isbn = {978-1-4503-4439-5},
publisher = {ACM},
articleno = {6},
doi = {10.1145/2955811.2955817},
location = {Rome, Italy},
booktitle = {Proceedings of the 18th Workshop on Formal Techniques for
Java-like Programs},
acmid = {2955817},
title = {Coupling Catch Clauses with Local Declarations},
pages = {6:1--6:6},
year = {2016},
}
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)
