Certified Proofs in Programs Involving Exceptions
CICM Workshops, 2014.
Exception handling is provided by most modern programming languages. It allows to deal with anomalous or exceptional events which require special processing. In computer algebra, exception handling is an efficient way to implement the dynamic evaluation paradigm: for instance, in linear algebra, dynamic evaluation can be used for applyi...More
PPT (Upload PPT)