2 datasets found

A memory model is an important component of the formal semantics of imperative programming languages: it specifies the behavior of operations over memory states, such...

International audience