The declarative modules are compiled into C++ code that is competitive to carefully hand-crafted implementations.
Because the declarative memory module is used to retrieve the old problem state on each step in a trial in the hard – hard condition, a similar interaction effect is predicted for the declarative memory module (Figure 4).
The prefrontal region corresponding to the declarative memory module exhibits the predicted main effects of subtraction difficulty and text entry difficulty (except for Text Entry Difficulty when the listening task was present).
In contrast to the problem state and declarative memory modules, we expected a higher BOLD response peak for the easier conditions in the manual and visual areas.
To summarize, the model does not predict a general increase in BOLD response with task difficulty; instead, it predicts lower but more persistent activation levels for the more difficult conditions in the visual and manual modules, and higher and more persistent activation levels for the more difficult conditions in the problem state and declarative memory modules.
While a simulation model is defined by its behavior and is driven by a testbench, the key to the formal verification is stated by a declarative form of module interface: the properties.
We discuss predictions for the five most interesting modules of the current model: the problem state module, the declarative memory module, the manual module, the visual module, and the aural module (Figures 3 7; note that these predictions are based on module demand traces similar to those shown in Figure 2).
Module content emphasized declarative types of knowledge (facts and concepts), and lower levels of cognitive demand (remember and understanding).
This paper presents an evaluation tool that synthesizes Verilog/VHDL models from a declarative formal description of a module interface written with Sugar formal language syntax.
Reflection is systematically exploited in Maude endowing the language with powerful metaprogramming capabilities, including both user-definable module operations and declarative strategies to guide the deduction process.
DCL is a declarative language aimed to verify dependencies among modules from object-oriented systems [12].
