Welcome to ATS’ documentation!

Contents:

• Annotated ATS Programs
  • Goal
  • Examples
• ATS Tools’ documentation
  • Tag Generator For ATS-Anairiats
  • Vim plug-in for ATS-Postiats
• ATS-Postiats’ Blog
  • Syntax for staload
  • Various print functions in ATS-Postiats
  • Miscellaneous topics related to ATS-Postiats
  • Targeting C# from program of ATS-Postiats
  • Get value in the statics of ATS
  • Template for Makefile of simple ATS project
  • Global value with linear type
• ATS-Postiats’ syntax
  • Mapping from source code to data structure
• Model Checking ATS
  • Tutorial
  • Table of Contents
  • Bibliography

Indices and tables

• Index
• Module Index
• Search Page