Sciweavers

Share
FUIN
2007

Computing Properties of Numerical Imperative Programs by Symbolic Computation

8 years 12 months ago
Computing Properties of Numerical Imperative Programs by Symbolic Computation
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].
Jacques Carette, Ryszard Janicki
Added 14 Dec 2010
Updated 14 Dec 2010
Type Journal
Year 2007
Where FUIN
Authors Jacques Carette, Ryszard Janicki
Comments (0)
books