SeLoger

swMATH46318MaRDI QIDQ5973049FDOQ5973049

Author name not available (Why is that?)

Official website: https://people.mpi-sws.org/~joel/publications/SeLoger13.pdf

Cited In (11)

• Locust
• Separation logics and modalities: a survey
• On temporal and separation logics
• Expressive completeness of separation logic with two variables and no separating conjunction
• On Symbolic Heaps Modulo Permission Theories
• Infer
• Tractability of separation logic with inductive definitions: beyond lists
• GRASShopper
• Slide
• Separation logic with one quantified variable
• Learning shape analysis

This page was built for software: SeLoger