Certified Proofs in Programs Involving Exceptions

CICM Workshops, 2014.

Cited by: 7|Bibtex|Views1|Links
EI

Abstract:

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

Code:

Data:

Your rating :
0

 

Tags
Comments