Sentence examples for declarative level from inspiring English sources

To further leverage the executable specifications in design, this work aims to formalize the semantics of stiff hybrid dynamic systems at a declarative level by removing implementation detail and only retaining 'what' the computer code does and not 'how' it does it.

It also contains the declarative level, marked with 'Otto says', which distinguishes the protocol as a linguistic statement.

In a concurrent study, Basey et al. (2014) demonstrated that both lab styles examined in this study significantly improved student learning of lecture-specific material at both the LO declarative knowledge level and evolution-based HO integration level with a margin of improvement ranging from 6.3 to 11%.

Finally, Bloom^PO adds sophisticated ordering constraints that we use to develop a declarative, high-level implementation of concurrent editing, a particularly difficult class of loosely consistent programs.

We generate the message translators based on a declarative high-level specification that: (i) reuses implementations of message translators for legacy protocols (e.g., HTTP, SOAP, CORBA), (ii) easily integrates with interface-description and serialisation languages (e.g.,WSDL, XSD, ASN.1), and (iii) builds upon format-specific reverse-engineering tools (e.g., XML learning).

According to our approach, understanding involves the generation of a high level, declarative description of the perceived world.

The description of the file format is written in a high-level declarative language, so that the editor can be easily modified to support other formats.

Functional Reactive Programming (FRP) is a promising approach to GUI design, providing high-level, declarative, compositional abstractions to describe user interactions and time-dependent computations.

We argue that to achieve a robust and flexible transformation process, a high-level declarative description is needed, that can be used to drive the entire tool chain.

If the two parts are described in a high-level declarative formalism, descriptional composition can be used to combine the two parts automatically so as to avoid creating and traversing the intermediate structure.

Key elements of this technology include intercepting inter-component communications with discrete, dynamically configurable "injectors", annotating communications and processes with additional meta-information, and a high-level, declarative specification language for describing the mapping between desired system properties and services that achieve these properties.