Type Safety for FJ and FGJ

DOI10.1007/11921240_18zbMath1168.68346OpenAlexW1573614778MaRDI QIDQ3525154

Zong-Yan Qiu, Shu-Ling Wang, Quan Long

Publication date: 11 September 2008

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11921240_18

zbMATH Keywords

type safetyfeatherweight Javadowncastobserver pattern

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Related Items (1)

A graph-based generic type system for object-oriented programs

This page was built for publication: Type Safety for FJ and FGJ