Reconciling noninterference and gradual typing

DOI10.1145/3373718.3394778zbMath1506.68024OpenAlexW3032336757MaRDI QIDQ5145625

Matt Fredrikson, Arthur Azevedo de Amorim, Limin Jia

Publication date: 21 January 2021

Published in: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/3373718.3394778

zbMATH Keywords

noninterferencegradual typing

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Coding and information theory (compaction, compression, models of communication, encoding schemes, etc.) (aspects in computer science) (68P30)

This page was built for publication: Reconciling noninterference and gradual typing