Expressive completeness of separation logic with two variables and no separating conjunction

Document Details

Document Type
Pub Defense Publication
Publication Date
Jul 14, 2014
Source ID
10.1145/2603088.2603142

Entities

People

  • Morgan Deters
  • Stéphane Demri

Organizations

  • Air Force Office of Scientific Research
  • National Science Foundation
  • New York University
  • Seventh Framework Programme