Extending Type Inference to Variational Programs
Sheng Chen, Martin Erwig, Eric Walkingshaw
Æminium: A Permission-Based Concurrent-by-Default Programming Language Approach
Sven Stork, Karl Naden, Joshua Sunshine, Manuel Mohr, Alcides Fonseca, Paulo Marques, Jonathan Aldrich
Rely-Guarantee-Based Simulation for Compositional Verification of Concurrent Program Transformations
Hongjin Liang, Xinyu Feng, Ming Fu
Formal Verification of an SSA-Based Middle-End for CompCert
Gilles Barthe, Delphine Demange, David Pichardie
© 2001-2024 Fundación Dialnet · Todos los derechos reservados
Coordinado por: