Skip to main navigation
Skip to search
Skip to main content
University of Birmingham Home
Help & FAQ
Home
Research output
Profiles
Research units
Projects
Activities
Datasets
Equipment
Prizes
Press/Media
Search by expertise, name or affiliation
Syntactic Control of Interference for Separation Logic
Uday Reddy
, JC Reynolds
Computer Science
Research output
:
Contribution to conference (unpublished)
›
Paper
2
Citations (Scopus)
Overview
Fingerprint
Research output
(1)
Fingerprint
Dive into the research topics of 'Syntactic Control of Interference for Separation Logic'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Computer Science
Syntactics
100%
Soundness
100%
Analysis Technique
50%
Concurrent Program
50%
Static Program Analysis
50%
Program Variable
50%
Fundamental Principle
50%
Program Reasoning
50%
Reasoning about Programs
50%
Keyphrases
Separation Logic
100%
Syntactic Control of Interference
100%
Concurrent Separation Logic
50%
Heap Storage
50%
Original System
25%
Concurrent Programs
25%
Static Analysis
25%
Proof Rules
25%
Hoare Logic
25%
Program Reasoning
25%
Separation Principle
25%
Reasoning about Programs
25%
Program Variables
25%
Engineering
Soundness
100%
Static Analysis
50%
Proof Rule
50%