In the present paper we propose a consistent way to integrate syntactical least general generalizations (lgg's) with semantic evaluation of the hypotheses. For this purpose we...
In this paper we study the relationships between logic programming and functional programming, trying to answer the following basic question: to what extent is logic programming j...
In this paper we describe an application of the theory of graph transformations to the practise of language design. In particular, we have defined the static and dynamic semantics ...
In this paper we prove that the degree elevation of B-spline curves can be interpreted as corner cutting process in theory. We also discover the geometric meaning of the auxiliary...
When different mathematical models are used for software analysis and development it is important to understand their relationships. When the models are truly mathematical, and wh...