Giovanni Lagorio

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Coinductive subtyping for abstract compilation of object-oriented languages into Horn formulas	2021-02-16	Paper
Static single information form for abstract compilation Lecture Notes in Computer Science	2012-09-21	Paper
Featherweight Jigsaw. Replacing inheritance by composition in Java-like languages Information and Computation	2012-05-24	Paper
Idealized coinductive type systems for imperative object-oriented programs RAIRO - Theoretical Informatics and Applications	2011-06-10	Paper
Idealized coinductive type systems for imperative object-oriented programs RAIRO - Theoretical Informatics and Applications	2011-06-10	Paper
Abstract compilation of object-oriented languages into coinductive CLP(X): can type inference meet verification? Formal Verification of Object-Oriented Software	2011-01-21	Paper
Towards a smart compilation manager for Java (extended abstract) Lecture Notes in Computer Science	2010-02-23	Paper
Type Inference by Coinductive Logic Programming Lecture Notes in Computer Science	2009-07-02	Paper
A flexible model for dynamic linking in Java and C\# Theoretical Computer Science	2007-01-22	Paper
scientific article; zbMATH DE number 2089402 (Why is no real title available?)	2004-08-12	Paper
scientific article; zbMATH DE number 1956544 (Why is no real title available?)	2003-07-30	Paper

Research outcomes over time

This page was built for person: Giovanni Lagorio