scientific article; zbMATH DE number 5353378

zbMATH Open1160.68666MaRDI QIDQ3528910FDOQ3528910

Authors: Evgeny Pavlenko, Markus Wedler, Dominik Stoffel, Wolfgang Kunz, Oliver Wienand, Evgeny Karibaev 

Publication date: 17 October 2008

Title of this publication is not available (Why is that?)

Recommendations

• Study of the numerical efficiency of structured ABS-normal forms
• scientific article; zbMATH DE number 2090724
• scientific article; zbMATH DE number 1361357
• A Compiled Implementation of Normalization by Evaluation
• Normalisation for dynamic pattern calculi
• Application of modular computing technology to number normalization in floating point arithmetic
• Normalization by evaluation and algebraic effects
• Abstracting models of strong normalization for classical calculi
• A compiled implementation of normalisation by evaluation

zbMATH Keywords

Arithmetic Bit-Level normalizalion

Mathematics Subject Classification ID

Computer science aspects of computer-aided design (68U07)

Cited In (2)

• Formal Verification of Integer Multiplier Circuits Using Algebraic Reasoning: A Survey
• GenMul: Generating Architecturally Complex Multipliers to Challenge Formal Verification Tools

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3528910)