[ACM Press the Eighth ACM SIGPLAN workshop - Seattle, Washington, USA (2013.06.20-2013.06.20)] Proceedings of the Eighth ACM SIGPLAN workshop on Programming languages and analysis for security - PLAS '13 - Security completeness

[ACM Press the Eighth ACM SIGPLAN worksh

✍ Hallgren, Per A.; Mauritzson, Daniel T.; Sabelfeld, Andrei 📂 Article 📅 2013 🏛 ACM Press ⚖ 561 KB

[ACM Press the 34th ACM SIGPLAN conferen

✍ Schneider, Fred B. 📂 Article 📅 2013 🏛 ACM Press ⚖ 313 KB

[ACM Press the third ACM SIGPLAN worksho

✍ Liem, Clifford; Gu, Yuan Xiang; Johnson, Harold 📂 Article 📅 2008 🏛 ACM Press ⚖ 385 KB

[ACM Press the 34th ACM SIGPLAN conferen

✍ Bodden, Eric; Tolêdo, Társis; Ribeiro, Márcio; Brabrand, Claus; Borba, Paulo; Me 📂 Article 📅 2013 🏛 ACM Press ⚖ 603 KB

[ACM Press the 34th ACM SIGPLAN conferen

✍ Bodden, Eric; Tolêdo, Társis; Ribeiro, Márcio; Brabrand, Claus; Borba, Paulo; Me 📂 Article 📅 2013 🏛 ACM Press ⚖ 603 KB

[ACM Press the ACM SIGPLAN Workshop - Se

✍ Zhang, Dong Ping; Jayasena, Nuwan; Lyashevsky, Alexander; Greathouse, Joseph; Me 📂 Article 📅 2013 🏛 ACM Press ⚖ 154 KB