Work

Separation logic and abstraction

Year: 2005

Type: article

Source: ACM SIGPLAN Notices

DOI: 10.1145/1047659.1040326

Authors: Matthew Parkinson, Gavin Bierman

Institutions: University of Cambridge, Microsoft Research (United Kingdom)

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W3006137651

FWCI: 7.728

Cites: 23

Cited by: 69

Related to: 10