Computing Properties of Numerical Imperative Programs by Symbolic Computation

13 years 4 months ago

Download www.cas.mcmaster.ca

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

Real-time Traffic

FUIN 2007 | Imperative Programs | Interesting Class | Symbolic Computations |

claim paper

» Using model checking with symbolic execution to verify parallel numerical programs

» MCMT A Model Checker Modulo Theories

» SPEED precise and efficient static estimation of program computational complexity

» Symbolic and Analytic Techniques for Resource Analysis of Java Bytecode

» Supporting Global Numerical Optimization of Rational Functions by Generic Symbolic Convexi...

» Probabilistic Abstract Interpretation of Imperative Programs using Truncated Normal Distri...

» Combinatory Models and Symbolic Computation

» Using differential evolution for symbolic regression and numerical constant creation

Post Info
More Details (n/a)

Added	14 Dec 2010
Updated	14 Dec 2010
Type	Journal
Year	2007
Where	FUIN
Authors	Jacques Carette, Ryszard Janicki

Comments (0)

Sciweavers

Computing Properties of Numerical Imperative Programs by Symbolic Computation

FUIN 2007 | Imperative Programs | Interesting Class | Symbolic Computations |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers