1 dataset found

Tags: compcert

Filter Results

  • The CompCert Memory Model, Version 2

    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...
You can also access this registry using the API (see API Docs).