Formalization of Fixed-Point Arithmetic in HOL

By Akbarpour Behzad   Tahar Sofiène   Dekdouk Abdelkader  

Formal Methods in System Design, Vol. 27, Iss. 1-2, 2005-09 ,pp. : 173-200

Springer Publishing Company

Access to resources Recommend Favorite

A Variadic Extension of Curry's Fixed-Point Combinator

By Goldberg Mayer  

LISP and Symbolic Computation, Vol. 18, Iss. 3-4, 2005-12 ,pp. : 371-388

Springer Publishing Company

Access to resources Recommend Favorite

Some Fixed-Point Results for the Dynamic Assignment Problem

By Spivey Michael Z.  

Annals of Operations Research, Vol. 124, Iss. 1-4, 2003-01 ,pp. : 15-33

Springer Publishing Company

Access to resources Recommend Favorite

Area Efficient Sequential Decimal Fixed-point Multiplier

By Han Liu   Kaivani Amir   Ko Seok-Bum  

Journal of Signal Processing Systems, Vol. 75, Iss. 1, 2014-04 ,pp. : 39-46

Springer Publishing Company

Access to resources Recommend Favorite

A fixed-point theorem in a category of compact metric spaces

By Alessi F.   Baldan P.   Belle G.  

Theoretical Computer Science, Vol. 146, Iss. 1, 1995-07 ,pp. : 311-320

Elsevier

Access to resources Recommend Favorite