scientific article; zbMATH DE number 2006639

MaRDI QIDQ4436035zbMATHFDO

Authors Thomas Studer

Publication date 23 November 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2183/21830202.htm

zbMATH Keywords

object-oriented programmingdenotational semanticsreasoning about programsFeatherweight Javaexplicit mathematics

Mathematics Subject Classification ID

Logic in computer science (03B70) Metamathematics of constructive systems (03F50) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55)

Recommendations

• Semantic types and approximation for Featherweight Java
• Functional type assignment for Featherweight Java. To Rinus Plasmeijer, in honour of his 61st birthday
• Some methodological remarks inspired by the paper ``On inner classes by A. Igarashi and B. Pierce
• Representation independence, confinement and access control (extended abstract)
• Type Safety for FJ and FGJ

Cited in

(10)

• Type Safety for FJ and FGJ
• Proof-theoretic notions for software maintenance
• Explicit mathematics: power types and overloading
• Functional type assignment for Featherweight Java. To Rinus Plasmeijer, in honour of his 61st birthday
• Featherweight Java with dynamic and static overloading
• Semantic types and approximation for Featherweight Java
• Formalizing non-termination of recursive programs
• scientific article; zbMATH DE number 6932679 (Why is no real title available?)
• scientific article; zbMATH DE number 2115033 (Why is no real title available?)
• Some methodological remarks inspired by the paper ``On inner classes by A. Igarashi and B. Pierce

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4436035)