„Featherweight Java“

Suchergebnisse

9 Treffer

• Declarative Dynamic Object Reclassification
  Sieve, Riccardo ; Kamburjan, Eduard ; Damiani, Ferruccio ; Johnsen, Einar Broch 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Declarative Dynamic Object Reclassification (Artifact)
  Sieve, Riccardo ; Kamburjan, Eduard ; Damiani, Ferruccio ; Johnsen, Einar Broch
• Global Type Inference for Featherweight Generic Java - Prototype Implementation (Artifact)
  Stadelmeier, Andreas ; Plümicke, Martin ; Thiemann, Peter
• Multi-Graded Featherweight Java
  Bianchini, Riccardo ; Dagnino, Francesco ; Giannini, Paola ; Zucca, Elena 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Safe Transferable Regions
  Kaki, Gowtham ; Ramalingam, G. 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Co-contextual Type Checker for Featherweight Java
  Kuci, Edlira ; Erdweg, Sebastian ; Bracevac, Oliver ; Bejleri, Andi ; Mezini, Mira 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Deconfined Intersection Types in Java
  Dezani-Ciancaglini, Mariangiola ; Giannini, Paola ; Venneri, Betti 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Global type inference for featherweight generic java
  Stadelmeier, Andreas ; Plümicke, Martin ; Thiemann, Peter 2024 Universität
• NOOP: A Nominal Mathematical Model of Object-Oriented Programming
  AbdelGawad, Moez 2013 Scholar's Press