Skip to main navigation
Skip to search
Skip to main content
Teesside University's Research Portal Home
Search content at Teesside University's Research Portal
Home
Profiles
Research units
TeesRep
Student theses
Projects
Datasets
Equipment
Press/Media
A Program Logic for Reasoning About C11 Programs With Release-Sequences
Mengda He
,
Shengchao Qin
, Zhiwu Xu
Department of Computing & Games
Centre for Digital Innovation
Research output
:
Contribution to journal
›
Article
›
peer-review
139
Downloads (Pure)
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'A Program Logic for Reasoning About C11 Programs With Release-Sequences'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Program Logic
100%
Memory Ordering
33%
Highly Flexible
16%
C + +
16%
Memory Models
16%
Weak Memory Models
16%
C11 Memory Model
16%
Multithreaded Programs
16%
Concurrent Programs
16%
Resource Model
16%
Programmer
16%
Formal Verification
16%
Language Level
16%
One Step Forward
16%
Hardware Platform
16%
Relaxed Memory Models
16%
Synchronization Algorithm
16%
Modern Hardware Architectures
16%
Fine Control
16%
Update Operation
16%
Program Behavior
16%
Weak Memory
16%
Computer Science
Logic Programming
100%
Global Positioning System
100%
Memory Model
57%
Few-Shot Learning
42%
Resource Model
14%
Concurrent Program
14%
Hardware Architecture
14%
Soundness
14%
Formal Verification
14%
Hardware Platform
14%
C Program
14%
Fine Control
14%
Update Operation
14%
Synchronization Mechanism
14%
Memory Program
14%