"thePageBody-prop">

<!-- ****** ****** -->

<h1>About ATS</h1>
<ul><li><a href="#what_is_ats">What is ATS?</a></li>
<li><a href="#what_is_ats_good_for">What is ATS good for?</a></li>
<li><a href="#acknowledgments">Acknowledgments</a></li>
</ul><!--menu-->

<hr style="background-color: #E0E0E0; height: 2px;">

<h2><a id="what_is_ats">What is ATS?</a></h2>

<p>
ATS is a statically typed programming language that unifies implementation
with formal specification. It is equipped with a highly expressive type
sy