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
Towards a program logic for C11 release-sequences
Mengda He
,
Shengchao Qin
, Joao Ferreira
School of Computing, Engineering & Digital Technologies
SCEDT School Executive Team
Research output
:
Chapter in Book/Report/Conference proceeding
›
Conference contribution
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Towards a program logic for C11 release-sequences'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Computer Science
Logic Programming
100%
Memory Model
80%
Global Positioning System
60%
Few-Shot Learning
40%
Hardware Architecture
20%
Formal Reasoning
20%
C Program
20%
Fine Control
20%
Counterintuitive Behavior
20%
Memory Operation
20%
Update Operation
20%
Synchronization Mechanism
20%
Keyphrases
Program Logic
100%
C11 Memory Model
40%
Highly Flexible
20%
C + +
20%
Memory Models
20%
Full Support
20%
Formal Reasoning
20%
Memory Operations
20%
Relaxed Memory Models
20%
High Complexity
20%
Synchronization Algorithm
20%
Modern Hardware Architectures
20%
Fine Control
20%
Update Operation
20%