Open AccessInterprocedural Shape Analysis Using Separation Logic-based Transformer Summaries
Author(s) -
Illous, Hugo,
Lemerre, Matthieu,
Rival, Xavier
Publication year - 2020
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - Uncategorized
Resource type - Conference proceedings
Subject(s) - computer science , transformer , programming language , electrical engineering , engineering , voltage