ATS Knowledge
Annotated ATS Programs
Goal
Examples
Dining Philosopher with Animation (by Cairo)
Source File Download
Code
Operations pertaining to array0
Source File Download
Code
ATS Tools’ documentation
Tag Generator For ATS-Anairiats
Description
Download
Usage
Development
Vim plug-in for ATS-Postiats
ATS-Postiats’ Blog
Syntax for
staload
Macros in the path
Various
print
functions in ATS-Postiats
dddd
Miscellaneous topics related to ATS-Postiats
Setting of Environment
Usage of
staload
Standard
header
files
Type conversion
Targeting C# from program of ATS-Postiats
Convertion of types
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
Function declaration and implementation
Model Checking ATS
Tutorial
Table of Contents
Ghosts for Model Checking
Towards Concurrent Program
Primitives for Concurrent Programming
Bibliography
Accessing Global Ghost Variables
Global ghost variables
Atomicity in ghost code
Virtual Lock
Bibliography
Bibliography
ATS Knowledge
Docs
»
Welcome to ATS’ documentation!
Edit on GitHub
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
Read the Docs
v: latest
Versions
latest
Downloads
pdf
htmlzip
epub
On Read the Docs
Project Home
Builds
Free document hosting provided by
Read the Docs
.