Sharing ghost variables in a collection of abstract domains

DOI10.1007/978-3-030-39322-9_8OpenAlexW2991017868MaRDI QIDQ784125FDOQ784125

Authors: Marc Chevalier, Jerome Feret 

Publication date: 5 August 2020

Full work available at URL: https://hal.inria.fr/hal-02378809/file/product.pdf

Recommendations

• scientific article; zbMATH DE number 1617334
• Abstract domains for type juggling
• Abstraction preservation and subtyping in distributed languages
• Variables as resource for shared-memory programs: semantics and soundness
• The use of ghost variables and virtual programming in the documentation and verification of programs
• Full abstraction for a shared-variable parallel language
• Making abstract domains condensing

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: Sharing ghost variables in a collection of abstract domains

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q784125)