0 past simple and past participle of factorize
1 If you factorize a number, you divide it into factors.
The resulting two-body distribution clearly cannot be factorized into two one-body distributions.
Hoist shows that a partial evaluation semantics is an interpretation of this factorized semantics.
For many of the houses investigated, the plan dimensions were quickly factorized to produce a series of simple ratios.
The categorical variables were factorized (dummy variables), and missing values were considered to be another category.
Factorized semantics enables the instantiation of various semantics of interest from the core semantics.
This work is based on factorized semantics and abstract interpretation.
However, (4.10) may be factorized using the matrix equivalent of synthetic division.
Based on the technique of factorized semantics, we provide semantic specifications and correctness proofs for both on-line and off-line partial evaluation of first-order functional programs.