Semantic Subtyping for Objects and Classes

Part 3: Session 2: Types

Data and Resources

Additional Info

Field Value
Source Lecture Notes in Computer Science
Author Dardha, Ornela, Gorla, Daniele, Varacca, Daniele
Maintainer CCSD
Last Updated May 8, 2026, 02:31 (UTC)
Created May 8, 2026, 02:31 (UTC)
Identifier hal-00909299
Language en
Rights https://creativecommons.org/licenses/by/4.0/
contributor Foundations of Component-based Ubiquitous Systems (FOCUS) ; Alma Mater Studiorum Università di Bologna = University of Bologna [Bologne] (UNIBO)-Centre Inria d'Université Côte d'Azur ; Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)
coverage Firenze, Italy
creator Dardha, Ornela
date 2013-06-03T00:00:00
harvest_object_id aa5b9b18-7c1e-4f8d-b75d-4ba954f76d56
harvest_source_id 3374d638-d20b-4672-ba96-a23232d55657
harvest_source_title test moissonnage SELUNE
metadata_modified 2026-03-24T00:00:00
relation info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-642-38592-6_6
set_spec type:COMM