Targeting the Java Virtual Machine with Genericity, Multiple Inheritance, Assertions and Expanded Types
type: Dataset
description: Rapport interne.
landing page: https://inria.hal.science/inria-00099302
identifier: Report N°: A00-R-137 || colnet00b
keyword: assertions
keyword: bytecode
keyword: code-binaire
keyword: eiffel
keyword: expanded-types
keyword: genericite
keyword: genericity
keyword: heritage-multiple
keyword: infoeu-reposemanticsreport
keyword: infoinfo-ohcomputer-science-csother-csoh
keyword: java
keyword: machine-vituelle
keyword: multiple-inheritance
keyword: reports
keyword: types-expanded
keyword: vitual-machine
issued: 2026-05-05T10:52:48.189868
modified: 2026-05-05T10:52:48.189872
language: fr
contact point: Organization
  fn: CCSD

test_moissonnage_selune
type: Agent

Targeting the Java Virtual Machine with Genericity, Multiple Inheritance, Assertions and Expanded Types
type: Distribution
format: HTML
access URL: https://inria.hal.science/inria-00099302
issued: 2026-05-05T10:52:48.191333
modified: 2026-05-05T10:52:48.174373