Articles matching “Lagorio”

  1. Giovanni Lagorio, Marco Servetto, Strong exception-safety for checked and unchecked exceptions, pp. 1:1-20, PDF, DOI. Volume 10, (2011)
  2. Giovanni Lagorio, Modelling a JVM for polymorphic bytecode, pp. 71-100, PDF, HTML, DOI. Volume 6, no. 5 (June 2007)
  3. Giovanni Lagorio, Elena Zucca, Just: safe unknown types in Java-like languages, pp. 69-98, PDF, HTML, DOI. Volume 6, no. 2 (February 2007)
  4. Giovanni Lagorio, Capturing ghost dependencies in Java sources, pp. 77-95, PDF, HTML, DOI. Volume 3, no. 11 (December 2004)
  5. Davide Ancona, Giovanni Lagorio, Stronger Typings for Separate Compilation of Java-like Languages, pp. 5-25, PDF, HTML, DOI. Volume 3, no. 6 (June 2004)
The JOT Journal   |   ISSN 1660-1769   |   DOI 10.5381/jot   |   AITO   |   Open Access   |    Contact