Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Subset-equational_language> ?p ?o. }
Showing items 1 to 17 of
17
with 100 items per page.
- Subset-equational_language abstract "The Subset-equational language (SEL) is a declarative programming language for set processing, written by Bharat Jayaraman.Features include:subset and equational program clauses.pattern matching over sets (supporting efficient iteration over sets).annotations to say which functions distribute over union in which arguments (for point-wise/incremental computation over sets).defining transitive closures through circular constraints (implemented by mixed top-down/memoisation and bottom-up strategy).metaprogramming and simple higher-order programming.modest user-interface including tracing.The SEL compiler, written in Quintus Prolog, generates WAM-like code, extended to deal with set-matching, memoisation, and the novel control structure of the language. The run-time system is written in C.".
- Subset-equational_language wikiPageID "474424".
- Subset-equational_language wikiPageRevisionID "601671307".
- Subset-equational_language hasPhotoCollection Subset-equational_language.
- Subset-equational_language subject Category:Declarative_programming_languages.
- Subset-equational_language type ProgrammingLanguage.
- Subset-equational_language type Software.
- Subset-equational_language type Work.
- Subset-equational_language type CreativeWork.
- Subset-equational_language type InformationEntity.
- Subset-equational_language comment "The Subset-equational language (SEL) is a declarative programming language for set processing, written by Bharat Jayaraman.Features include:subset and equational program clauses.pattern matching over sets (supporting efficient iteration over sets).annotations to say which functions distribute over union in which arguments (for point-wise/incremental computation over sets).defining transitive closures through circular constraints (implemented by mixed top-down/memoisation and bottom-up strategy).metaprogramming and simple higher-order programming.modest user-interface including tracing.The SEL compiler, written in Quintus Prolog, generates WAM-like code, extended to deal with set-matching, memoisation, and the novel control structure of the language. ".
- Subset-equational_language label "Subset-equational language".
- Subset-equational_language sameAs m.02dxbh.
- Subset-equational_language sameAs Q7688144.
- Subset-equational_language sameAs Q7688144.
- Subset-equational_language wasDerivedFrom Subset-equational_language?oldid=601671307.
- Subset-equational_language isPrimaryTopicOf Subset-equational_language.