Journal article Open Access

MMFilter : A CHR-Based Solver for Generation of Executions under Weak Memory Models

Allan Blanchard; Nikolai Kosmatov; Frédéric Loulergue


BibTeX Export

@misc{allan_blanchard_2018_1248826,
  author       = {Allan Blanchard and
                  Nikolai Kosmatov and
                  Frédéric Loulergue},
  title        = {{MMFilter : A CHR-Based Solver for Generation of 
                   Executions under Weak Memory Models}},
  month        = apr,
  year         = 2018,
  publisher    = {Zenodo},
  doi          = {10.1016/j.cl.2018.03.002},
  url          = {https://doi.org/10.1016/j.cl.2018.03.002}
}
59
50
views
downloads
Views 59
Downloads 50
Data volume 39.8 MB
Unique views 53
Unique downloads 49

Share

Cite as