Non-interference for a JVM-like language - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Gilles Barthe, Tamara Rezk. Non-interference for a JVM-like language. In J. Gregory Morrisett, Manuel Fähndrich, editors, Proceedings of TLDI 05: 2005 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Long Beach, CA, USA, January 10, 2005. pages 103-112, ACM, 2005. [doi]

This author has not been identified. Look up 'Gilles Barthe' in GoogleThis author has not been identified. Look up 'Tamara Rezk' in Google

runs on WebDSL