Sharing ghost variables in a collection of abstract domains

DOI10.1007/978-3-030-39322-9_8MaRDI QIDQ784125zbMATH OpenOpenAlexFDO

Authors Marc Chevalier, Jerome Feret

Publication date 5 August 2020

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

Mathematics Subject Classification ID

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

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

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)