Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

GiaSerZuc16b (In proceedings)
Author(s) Paola Giannini, Marco Servetto and Elena Zucca
Title« Coupling Catch Clauses with Local Declarations »
InProceedings of the 18th Workshop on Formal Techniques for Java-like Programs
SeriesFTfJP'16
Page(s)6:1--6:6
Year2016
PublisherACM
AddressNew York, NY, USA
ISBN number978-1-4503-4439-5
URLhttp://doi.acm.org/10.1145/2955811.2955817
Keywords
Keywords: Exceptions, Featherweight Java, Language design, Typed calculus

BibTeX code

@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},
}


 Chronological Overview 
 Type-Hierarchical Overview 
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)

Valid HTML 4.01!