Dependent Type Theory for Verification of Information Flow and Access Control Policies
Aleksandar Nanevski, Anindya Banerjee, Deepak Garg
Efficient Identification of Linchpin Vertices in Dependence Clusters
D. Binkley, Nicolas Gold, Mark Harman, Syed Islam, J. Krinke, Li Zheng
Proof-Directed Parallelization Synthesis by Separation Logic
Matko Botinčan, Mike Dodds, Suresh Jagannathan
© 2001-2024 Fundación Dialnet · Todos los derechos reservados
Coordinado por: