Computing Properties of Numerical Imperative...

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

Publication Date

December 7, 2007

DOI

10.3233/fun-2007-801-308

ISSN

0169-2968

Associated Experts

Jacques Carette

Professor, Faculty of Engineering

Visit profile

Ryszard Janicki

Professor, Faculty of Engineering

Visit profile

Labels

Fields of Research (FoR)

46 Information and computing sciences 4601 Applied Computing 49 Mathematical sciences

View published work (Non-McMaster Users)

Contact the Experts team

Get technical help

Provide website feedback