<mime-type type="application/vnd.hcl-bireports"/>
  <mime-type type="application/vnd.hhe.lesson-player">
    <glob pattern="*.les"/>
  </mime-type>
  <mime-type type="application/vnd.hp-hpgl">
    <glob pattern="*.hpgl"/>
  </mime-type>
  <mime-type type="application/vnd.hp-hpid">
    <glob pattern="*.hpid"/>
  </mime-type>
  <mime-type type="application/vnd.hp-hps">
    <glob pattern="*.hps"/>

</p>

<h2 id="model">Memory Model</h2>

<p>
The following formal definition of Go's memory model closely follows
the approach presented by Hans-J. Boehm and Sarita V. Adve in
“<a href="https://www.hpl.hp.com/techreports/2008/HPL-2008-56.pdf">Foundations of the C++ Concurrency Memory Model</a>”,
published in PLDI 2008.
The definition of data-race-free programs and the guarantee of sequential consistency