You are viewing a javascript disabled version of the site. Please enable Javascript for this site to function properly.
Go to headerGo to navigationGo to searchGo to contentsGo to footer
In content section. Select this link to jump to navigation

Computing Properties of Numerical Imperative Programs by Symbolic Computation

Issue title: Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz

Article type: Research Article

Authors: Carette, Jacques | Janicki, Ryszard

Affiliations: Department of Computing and Software, McMaster University, Hamilton, Ontario, L8S 4K1 Canada. E-mail: {carette,janicki}@mcmaster.ca

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].

Journal: Fundamenta Informaticae, vol. 80, no. 1-3, pp. 125-146, 2007

Received 5 November 2007
|
Accepted 5 November 2007
|
Published: 2007
Price: EUR 27.50
Show more