Searching for "Code Normal Forms." – sorted by Relevance.
14 documents found, showing 1 through 10.
Next 10 →
-
Code Normal Forms
- … difficulties through normal forms. In this paper, we transfer the idea of normal forms to code. The approach…
- Add To MetaCart
-
Keeping sums under control
- …-Directed Partial Evaluation (TDPE) [10]. It allows to produce the code of the normal form of a term from a value…
- Add To MetaCart
-
Keeping sums under control
- … Type-Directed Partial Evaluation (TDPE) [10]. It allows to produce the code of the normal form of a…
- Add To MetaCart
-
Differential Algebraic Formulation of Normal Form Theory
- … the code COSY INFINITY [13, 14, 15], but also with other DA based codes. The normal form algorithm consists…
- Cited by 4 (4 self) – Add To MetaCart
-
Encoding Left Reduction in the λ-Calculus with Interaction Nets
- … of the normal form is reached. 3.1 Coded and Decoded translations We present two translations of -terms…
- Cited by 4 (0 self) – Add To MetaCart
-
Management Systems
- …, Functional dependencies, closure of set of FDs and attribute, Third & Boyce-code normal forms, properties…
- Add To MetaCart
-
The Matlab ODE Suite
- … Jacobians means that when the Jacobian is constant, the code will normally form a Jacobian just once…
- Cited by 29 (2 self) – Add To MetaCart
-
Symbolic Computation Of Normal Forms For Resonant Double Hopf Bifurcations Using A Perturbation
- …. In this section, we shall outline the Maple programs.� 3.1. MAPLE SOURCE CODE NORMAL FORMS FOR DOUBLE HOPF…
- Cited by 2 (2 self) – Add To MetaCart
-
Extending Gödel for Expressing Restricted Quantifications and Arrays
- … the resulting code is in normal form, it appears complicated compared to the original simple program statement…
- Cited by 7 (1 self) – Add To MetaCart
-
Multiple Specialization through Local Analysis
- …], etc. This information is then used to generate specialized code, normally in the form of some low…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
