The Language FLAC: Computational Model and Modularity

Abstract. The development of a language for algebraic computation actually needs a specific computation model that supports typical be-havior of formula manipulation. For this purpose an “intentional ” model with suspended computations was developed, and language FLAC with specific modularity is an implementation of the model. The development of a language for algebraic computation actually needs a specific computational model that supports typical essential features of algebraic computation. The base of the model is the concept of suspended computations, that regards all functions as partial ones, and result of computation of f(x0), that is a call of function f at point x0, specifically depends on the domain of f. It is fundamen-tally, that if x0 / ∈ Dom(f) then the function call f(x0), in spite of conventional approach, is suspended, i.e. function f is extended at the point x0 by so called “intensional”, that is a ground term f(x0).The intensional is appended to the set of values, and the computation continues on the extended set of values