A Load-Buffer Semantics for Total Store Ordering.

Parosh Aziz Abdulla Mohamed Faouzi Atig Ahmed Bouajjani Tuan Phong Ngo

Published in: Log. Methods Comput. Sci. (2018)

Keyphrases

formal semantics
logic programming
load balancing
partial order
logic programs
operational semantics
data sets
genetic algorithm
semantic information
provenance information