This HTML5 document contains 108 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n14https://global.dbpedia.org/id/
yagohttp://dbpedia.org/class/yago/
schemahttp://schema.org/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
n6http://
n4http://www.w3.org/2006/03/wn/wn20/instances/
n9http://commons.wikimedia.org/wiki/Special:FilePath/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
dbpedia-zhhttp://zh.dbpedia.org/resource/
n21https://github.com/SacBase/Stdlib/blob/master/
wikipedia-enhttp://en.wikipedia.org/wiki/
dbphttp://dbpedia.org/property/
dbchttp://dbpedia.org/resource/Category:
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:List_of_C-family_programming_languages
dbo:wikiPageWikiLink
dbr:SAC_programming_language
Subject Item
dbr:List_of_programming_languages_by_type
dbo:wikiPageWikiLink
dbr:SAC_programming_language
Subject Item
dbr:SAC_programming_language
rdf:type
yago:Communication100033020 yago:Language106282651 yago:Abstraction100002137 yago:ArtificialLanguage106894544 wikidata:Q9143 wikidata:Q315 dbo:Language schema:Language dbo:ProgrammingLanguage owl:Thing yago:ProgrammingLanguage106898352 dbo:Software
rdfs:label
SAC programming language SAC编程语言
rdfs:comment
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. SAC（Single Assignment C）是一门严格的纯函数式编程语言，以满足数值计算领域的需求为主要目的。怎样实现对多维数组的高效计算是SAC的核心部分。效率在程序设计领域可以有两方面的理解。一方面是提供高级的数组运算操作，以加快开发程序，另一方面是在某种模式下优化编译程序，以减少其所需的运行时间和存储容量。作为一门成功的计算机语言，必须满足第二个条件。 为了能够编译出高效的可执行代码，某些对数值计算不重要的函数式语言的特征（到目前为止）还不被SAC支持，比如高阶函数，多态，以及惰性求值。而像Haskell、Clean、Miranda或者ML却拥有这些特征。
foaf:name
SAC
foaf:homepage
n6:www.sac-home.org
dbp:name
SAC
foaf:depiction
n9:SAC_language_logo.png
foaf:page
n6:www.sac-home.org
dcterms:subject
dbc:C_programming_language_family dbc:Array_programming_languages
dbo:wikiPageID
2179985
dbo:wikiPageRevisionID
1005957040
dbo:wikiPageWikiLink
dbr:Compiler dbr:C_(programming_language) dbr:K_programming_language dbr:Array_processing dbr:Functional_programming dbr:Multiprocessor dbr:Haskell_(programming_language) dbr:Fortran dbr:Strong_typing dbc:C_programming_language_family dbr:Lazy_evaluation dbr:ML_programming_language dbr:APL_programming_language dbr:Proprietary_license dbr:Programming_productivity dbr:Code_reuse dbr:Clean_programming_language dbr:J_programming_language dbc:Array_programming_languages dbr:Nial dbr:SISAL dbr:Miranda_programming_language dbr:POSIX dbr:Programming_language dbr:Array_programming dbr:Non-sequential dbr:NESL dbr:Abstraction dbr:Data_parallelism dbr:Static_typing dbr:Polymorphism_(computer_science) dbr:Purely_functional_programming dbr:UNIX
dbo:wikiPageExternalLink
n6:www.sac-home.org n21:LICENSE.txt
owl:sameAs
n14:4v41e dbpedia-zh:SAC编程语言 freebase:m.06svrt wikidata:Q7388480
dbp:wikiPageUsesTemplate
dbt:About dbt:Cite_thesis dbt:Start_date_and_age dbt:Infobox_programming_language
dbo:thumbnail
n9:SAC_language_logo.png?width=300
dbp:designer
Sven-Bodo Scholz, Clemens Grelck, et al.
dbp:developer
SaC Research Group
dbp:influencedBy
dbr:C_(programming_language) dbr:APL_programming_language dbr:SISAL
dbp:license
Proprietary https://github.com/SacBase/Stdlib/blob/master/LICENSE.txt
dbp:logo
SAC language logo.png
dbp:operatingSystem
dbr:POSIX dbr:UNIX
dbp:paradigm
dbr:Functional_programming dbr:Array_programming
dbp:programmingLanguage
C and SAC
dbp:typing
dbr:Strong_typing dbr:Static_typing
dbp:website
n6:www.sac-home.org
dbo:abstract
SAC（Single Assignment C）是一门严格的纯函数式编程语言，以满足数值计算领域的需求为主要目的。怎样实现对多维数组的高效计算是SAC的核心部分。效率在程序设计领域可以有两方面的理解。一方面是提供高级的数组运算操作，以加快开发程序，另一方面是在某种模式下优化编译程序，以减少其所需的运行时间和存储容量。作为一门成功的计算机语言，必须满足第二个条件。 为了能够编译出高效的可执行代码，某些对数值计算不重要的函数式语言的特征（到目前为止）还不被SAC支持，比如高阶函数，多态，以及惰性求值。而像Haskell、Clean、Miranda或者ML却拥有这些特征。 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. 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.
dbp:fileExt
.sac
dbp:wordnet_type
n4:synset-programming_language-noun-1
prov:wasDerivedFrom
wikipedia-en:SAC_programming_language?oldid=1005957040&ns=0
dbo:wikiPageLength
5142
dbo:influencedBy
dbr:SISAL dbr:APL_programming_language dbr:C_(programming_language)
dbo:license
dbr:Proprietary_license
foaf:isPrimaryTopicOf
wikipedia-en:SAC_programming_language
Subject Item
dbr:SISAL
dbo:wikiPageWikiLink
dbr:SAC_programming_language
dbo:influenced
dbr:SAC_programming_language
Subject Item
dbr:Dataflow_programming
dbo:wikiPageWikiLink
dbr:SAC_programming_language
Subject Item
dbr:Array_programming
dbo:wikiPageWikiLink
dbr:SAC_programming_language
Subject Item
dbr:SAC
dbo:wikiPageWikiLink
dbr:SAC_programming_language
dbo:wikiPageDisambiguates
dbr:SAC_programming_language
Subject Item
dbr:Implicit_parallelism
dbo:wikiPageWikiLink
dbr:SAC_programming_language
Subject Item
dbr:SA-C
dbo:wikiPageWikiLink
dbr:SAC_programming_language
dbo:wikiPageRedirects
dbr:SAC_programming_language
Subject Item
dbr:Uniqueness_type
dbo:wikiPageWikiLink
dbr:SAC_programming_language
Subject Item
wikipedia-en:SAC_programming_language
foaf:primaryTopic
dbr:SAC_programming_language