A sound polymorphic type system for a dialect of \(C\)

DOI10.1016/S0167-6423(97)00030-0zbMath0942.68016MaRDI QIDQ1818320

Yanyan Li

Publication date: 4 January 2000

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

zbMATH Keywords

Polymorphic C programpolymorphic type systems

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Related Items (2)

Unnamed Item ⋮ Bounded model checking for hyperproperties

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