1. 4

Abstract: “The need for direct memory manipulation through pointers is essential in man y applications. Ho we ver, it is also commonly understood that the use (or probably misuse) of pointers is often a rich source of program errors. Therefore, approaches that can effecti vely enforce safe use of pointers in programming are highly sought after . ATS is a programming language with a type system rooted in a recently developed frame work Applied Type System , and a novel and desirable feature in ATS lies in its support for safe programming with pointers through a novel notion of stateful vie ws . In particular , even pointer arithmetic is allo wed in ATS and guaranteed to be safe by the type system of ATS . In this paper , we give an overvie w of this feature in ATS , presenting some interesting examples based on a prototype implementation of ATS to demonstrate the practicality of safe programming with pointer through stateful vie ws.”