SAC programming language
SAC (Single Assignment C) is a strict purely functional programming language whose design is focused on the needs of numerical applications. Emphasis is laid on efficient support for array processing via data parallelism. Efficiency concerns are essentially twofold. On the one hand, efficiency in program development is to be improved by the opportunity to specify array operations on a high level of abstraction. On the other hand, efficiency in program execution, i.e. the runtime performance of programs, in time and memory consumption, is still to be achieved by sophisticated compilation schemes. Only as far as the latter succeeds, the high-level style of specifications can actually be called useful.
- Comment
- enSAC (Single Assignment C) is a strict purely functional programming language whose design is focused on the needs of numerical applications. Emphasis is laid on efficient support for array processing via data parallelism. Efficiency concerns are essentially twofold. On the one hand, efficiency in program development is to be improved by the opportunity to specify array operations on a high level of abstraction. On the other hand, efficiency in program execution, i.e. the runtime performance of programs, in time and memory consumption, is still to be achieved by sophisticated compilation schemes. Only as far as the latter succeeds, the high-level style of specifications can actually be called useful.
- Depiction
- Designer
- enSven-Bodo Scholz, Clemens Grelck, et al.
- Developer
- enSaC Research Group
- FileExt
- en.sac
- Has abstract
- enSAC (Single Assignment C) is a strict purely functional programming language whose design is focused on the needs of numerical applications. Emphasis is laid on efficient support for array processing via data parallelism. Efficiency concerns are essentially twofold. On the one hand, efficiency in program development is to be improved by the opportunity to specify array operations on a high level of abstraction. On the other hand, efficiency in program execution, i.e. the runtime performance of programs, in time and memory consumption, is still to be achieved by sophisticated compilation schemes. Only as far as the latter succeeds, the high-level style of specifications can actually be called useful. To facilitate compiling to efficiently executable code, certain functional language features which are not considered essential for numerical applications, e.g. higher-order functions, polymorphism, or lazy evaluation, are not (yet) supported by SAC. These may be found in general-purpose functional languages, e.g. Haskell, Clean, Miranda, or ML. To overcome the acceptance problems encountered by other functional or array based languages intended for numerical / array intensive applications, e.g. SISAL, NESL, Nial, APL, J, or K, particular regard is paid to ease the transition from a C / Fortran like programming environment to SAC. In more detail, the basic language design goals of SAC are to: * provide a purely functional language with a syntax very similar to that of C in order to ease, for a large community of programmers, the transition from an imperative to a functional programming style; * support multi-dimensional arrays as first class objects; * allow the specification of shape- and dimension-invariant array operations; * provide high-level array operations that liberate programming from tedious and error-prone specifications of starts, stops and strides for array traversals thereby improving code reusability and programming productivity, in general. * incorporate a module system that allows for separate compilation, separate name spaces, and abstract data types, and, additionally, provides an interface to foreign languages in order to enable reuse of existing code; * provide means for a smooth integration of states and state modifications into the functional paradigm based on uniqueness types; * use the module system, the foreign language interface, and the integration of states in order to create a standard library which provides a functionality similar to that of the standard C libraries, e.g. powerful I/O facilities or mathematical functions; * facilitate the compilation to host machine code which can be efficiently executed both in terms of time and space demand; * facilitate the compilation for program execution in multiprocessor environments.
- Homepage
- www.sac-home.org
- InfluencedBy
- APL programming language
- C (programming language)
- SISAL
- Influenced by
- APL programming language
- C (programming language)
- SISAL
- Is primary topic of
- SAC programming language
- Label
- enSAC programming language
- License
- enProprietary https://github.com/SacBase/Stdlib/blob/master/LICENSE.txt
- License
- Proprietary license
- Link from a Wikipage to an external page
- github.com/SacBase/Stdlib/blob/master/LICENSE.txt
- www.sac-home.org
- Link from a Wikipage to another Wikipage
- Abstraction
- APL programming language
- Array processing
- Array programming
- C (programming language)
- Category:Array programming languages
- Category:C programming language family
- Clean programming language
- Code reuse
- Compiler
- Data parallelism
- Fortran
- Functional programming
- Haskell (programming language)
- J programming language
- K programming language
- Lazy evaluation
- Miranda programming language
- ML programming language
- Multiprocessor
- NESL
- Nial
- Non-sequential
- Polymorphism (computer science)
- POSIX
- Programming language
- Programming productivity
- Proprietary license
- Purely functional programming
- SISAL
- Static typing
- Strong typing
- UNIX
- Logo
- enSAC language logo.png
- Name
- enSAC
- Name
- enSAC
- OperatingSystem
- POSIX
- UNIX
- Page
- www.sac-home.org
- Paradigm
- Array programming
- Functional programming
- ProgrammingLanguage
- enC and SAC
- SameAs
- 4v41e
- m.06svrt
- Q7388480
- SAC编程语言
- Subject
- Category:Array programming languages
- Category:C programming language family
- Thumbnail
- Typing
- Static typing
- Strong typing
- WasDerivedFrom
- SAC programming language?oldid=1005957040&ns=0
- Website
- www.sac-home.org
- WikiPageLength
- 5142
- Wikipage page ID
- 2179985
- Wikipage revision ID
- 1005957040
- WikiPageUsesTemplate
- Template:About
- Template:Cite thesis
- Template:Infobox programming language
- Template:Start date and age
- Wordnet_type
- synset-programming language-noun-1