Decidable Entailments in Separation Logic with Inductive Definitions

 Infos

• Added by: Nicolas Peltier
• Updated on: Jan. 12, 2021, 5:26 p.m.
• Type: Conferences
• Main language: English
• Discipline(s):
  • Informatique, Mathématiques, Sciences et technologies de l'information et de la communication