「Declarative」の共起表現一覧(1語右で並び替え)

Declarative

1語右で並び替え

該当件数:78件

  • Skeletons are presented in two ways: declarative and operational.
  • Lustre is a formally defined, declarative, and synchronous dataflow programming langu
  • re specified using a Scala DSL, in a mix of declarative and imperative styles.
  • e high degree of integration between Loom's declarative and procedural components permits programme
  • n this project is to represent all forms of declarative and procedural knowledge as a network, and
  • er-rather-than-longer sentence style that's declarative and ugly and right there, punching you in t
  • ssignment, which is usually shunned in pure declarative and logic programming, is actually needed i
  • on, a nearly complete implementation of SVG declarative animation SMIL features, and some of the SV
  • As Declarative annotation-driven configuration is more and
  • The individual SQL statements are declarative, as opposed to imperative, in that they des
  • Each SQL DML statement is a declarative command.
  • environment for proving theorems about the declarative core of λProlog.
  • ECL, at least in its purest form, is a declarative, data centric language.
  • n languages for these systems are driven by declarative descriptions of the structure of the input
  • with bound variable names: instead various declarative devices are available to deal with binder s
  • les, for example, specify dependencies in a declarative fashion, but include an imperative list of
  • and deconstruction of data structures in a declarative fashion.
  • ate with, and has the benefit of being more declarative, faster to compile and easier to write.
  • Declarative goals specify a state of the environment th
  • Declarative goals: Agents may have multiple goals that
  • A declarative illocutionary force
  • d types of sentences such as interrogative, declarative, imperative, and suggestive.
  • hat questions about them can be answered by declarative inference and simulation.
  • ctions, the black artist began to take bold declarative initiatives, making definitive imagery, ins
  • fy template-specific problems with a set of declarative instructions.
  • prise Integration Patterns using an API (or declarative Java Domain Specific Language) to configure
  • Declarative knowledge in Loom consists of definitions,
  • enance technologies in order to compile the declarative knowledge into a network designed to effici
  • lation', and ‘Relation Type' for expressing declarative knowledge, and ‘Function' and ‘Function Typ
  • Simple Declarative Language
  • XPath is a declarative language for navigating XML documents;
  • ents have rising intonation, causing normal declarative language to appear to the listener as inter
  • The Simple Declarative Language (SDL) is a cross-platform declarat
  • Because Alloy is a declarative language the meaning of a model is unaffect
  • General-purpose Declarative Language (GDL) is a programming language fr
  • t-oriented programming (or a Class Type), a declarative language or into a database schema.
  • Metamodel constraints can be specified in declarative languages (e.g.
  • ogic (such as access control lists), though declarative languages on the verge of being Turing-comp
  • Spirit and the Order of Saint Michael; the declarative letters patent were dated 21 September 1972
  • Mercury is a purely declarative logic language.
  • ontained the first robust implementation of declarative markup language.
  • s of the OMA is developing EMML, which is a declarative mashup domain-specific language (DSL) aimed
  • Being declarative means user code defines the only the data s
  • The declarative memory component of the architecture, the d
  • As with declarative memory, motor memory is theorized to have t
  • dial temporal lobe pathways associated with declarative memory.
  • SBVR models are declarative, not imperative or procedural.
  • matting method for byte strings that uses a declarative notation to indicate the size of the string
  • e code; his writing style is hyperbolic and declarative, often lacking sustained, systematic analys
  • ad of trying to figure out how to use SQL's declarative operations.
  • These conclusions will be either declarative or imperative sentences.
  • s used to provide deductive support for the declarative portion of the Loom language.
  • CLP(R) is a declarative programming language.
  • Declarative programming is an umbrella term that includ
  • ABSET was an early declarative programming language from the University of
  • The Subset-equational language (SEL) is a declarative programming language for set processing, wr
  • The declarative programming structure is embodied in the ru
  • Bertrand has a declarative programming syntax and differentiates itsel
  • In computer science, declarative programming is a programming paradigm that
  • be viewed as computer programs, and several declarative programming languages are based on term rew
  • Declarative programming
  • This makes constraint programming a form of declarative programming.
  • the extension should support and encourage declarative programming.
  • ramming language with features that support declarative programming.
  • in which programmers can write expressive, declarative queries about program behavior.
  • ition manages its own replication through a declarative replication tree.
  • The word order for a basic declarative sentence in Standard Chinese is subject-ver
  • Declarative sentences with negative elements (i.e.
  • Straightforward, declarative sentences in the tough-guy argot of the tim
  • Declarative skeletons are directly used by programmers,
  • ers which support basic SVG to also support declarative SMIL animation of SVG; however, development
  • cience and software engineering, Alloy is a declarative specification language for expressing compl
  • A declarative statement is made, followed by a pause and
  • The result is a negation of the original declarative statement.
  • ious JSRs would use annotations to enable a declarative style of programming.
  • GDL contains the core KBE features of declarative syntax, dynamic typing, incremental compila
  • This is known as the declarative theory of statehood.
  • elational model for databases and provide a declarative way to specify database queries.