Revision as of 07:24, 18 January 2015 (view source) rosettacode>Ats-hwxi mNo edit summary ← Older edit		Latest revision as of 01:25, 7 May 2015 (view source) rosettacode>Sheganinans m (update for ATS2)
Line 25: * [[Imperative programming]]. The novel and unique approach to imperative programming in ATS is firmly rooted in the paradigm of programming with theorem-proving. The type system of ATS allows many features considered dangerous in other languages (e.g., explicit pointer arithmetic and explicit memory allocation/deallocation) to be safely supported in ATS, making ATS a viable programming langauge for low-level systems programming. * [[Concurrent programming]]. ATS~~, equipped with a multicore-safe implementation of [[garbage collection]],~~ can support multithreaded programming through ~~the~~safe use of pthreads. The availability of linear types for tracking and safely manipulating resources provides aan effective ~~means~~approach to constructing reliable programs that can take great advantage of multicore architectures. * [[Modular programming]]. The module system of ATS is largely infuenced by that of [[Modula-3]], which is both simple and general as well as effective in supporting large scale programming.

Category:ATS: Difference between revisions

Category:ATS (view source)