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

• Type: Journal
• Year: 2007
• Where: FUIN
• Authors: Jacques Carette, Ryszard Janicki
• Keywords: FUIN 2007, Imperative Programs, Interesting Class, Symbolic Computations