Journal article
Computing Properties of Numerical Imperative Programs by Symbolic Computation
Abstract
We show how properties of an interesting class of imperative programs can be calculated by means of relational modeling and symbolic computation. The ideas of [5, 26] are implemented using symbolic computations based on Maple [30].
Authors
Carette J; Janicki R
Journal
Fundamenta Informaticae, Vol. 80, No. 1-3, pp. 125–146
DOI
10.3233/fun-2007-801-308
ISSN
0169-2968