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
»
Annotated ATS Programs
»
Operations pertaining to array0
Edit on GitHub
Operations pertaining to array0
¶
Source File Download
¶
Code
¶
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
.