Separation logics and modalities: a survey
Work
Year: 2015
Type: article
Abstract: Like modal logic, temporal logic, and description logic, separation logic has become a popular class of logical formalisms in computer science, conceived as assertion languages for Hoare-style proof s... more
Authors Stéphane Demri, Morgan Deters
Institutions Centre National de la Recherche Scientifique, Laboratoire Spécification et Vérification, New York University
Cites: 182
Cited by: 18
Related to: 10
FWCI: 1.473
Citation percentile (by year/subfield): 86.8
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Quality education
Open Access status: green
Funders National Science Foundation, Seventh Framework Programme, Air Force Office of Scientific Research
Grant IDS 0644299, PIOF-GA-2011-301166, FA9550-09-1-0596