A sound polymorphic type system for a dialect of C

DOI10.1016/S0167-6423(97)00030-0MaRDI QIDQ1818320zbMATH OpenFDO

Authors Yanyan Li

Publication date 4 January 2000

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0167-6423(97)00030-0

zbMATH Keywords

Polymorphic C programpolymorphic type systems

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Recommendations

• A simplified account of polymorphic references
• A type soundness proof for variables in LCF ML
• Weak polymorphism can be sound
• Type soundness for path polymorphism
• scientific article; zbMATH DE number 3907754

Cited in

(10)

• A simplified account of polymorphic references
• Type soundness for path polymorphism
• Towards proving type safety of \(\mathrm{C}^{\#}\)
• Standard ML-NJ weak polymorphism and imperative constructs
• Bounded model checking for hyperproperties
• Mostly sound type system improves a foundational program verifier
• scientific article; zbMATH DE number 2087535 (Why is no real title available?)
• scientific article; zbMATH DE number 1839448 (Why is no real title available?)
• Weak polymorphism can be sound
• A type soundness proof for variables in LCF ML

This page was built for publication: A sound polymorphic type system for a dialect of \(C\)

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