SFJ: An implementation of Semantic Featherweight Java

Autor: Artem Usov, Ornela Dardha

Publikováno v: Lecture Notes in Computer Science
22th International Conference on Coordination Languages and Models (COORDINATION)
22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.153-168, ⟨10.1007/978-3-030-50029-0_10⟩
Coordination Models and Languages-22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings
Lecture Notes in Computer Science ISBN: 9783030500283
COORDINATION
Coordination Models and Languages
Lecture Notes in Computer Science-Coordination Models and Languages

Part 4: Communications: Types and Implementations; International audience; There are two approaches to defining subtyping relations: the syntactic and the semantic approach. In semantic subtyping, one defines a model of the language and an interpreta

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9cfe779f72b4d12d17a63da5af9335e2
https://zenodo.org/record/3956238