<--- Back to Details
First PageDocument Content
Mathematics / Computer arithmetic / Algebra / Abstract algebra / Abstract interpretation / Interval arithmetic / Two's complement / Interval / Signedness / Logarithm / Modular arithmetic / Division by zero
Date: 2018-10-25 12:43:22
Mathematics
Computer arithmetic
Algebra
Abstract algebra
Abstract interpretation
Interval arithmetic
Two's complement
Interval
Signedness
Logarithm
Modular arithmetic
Division by zero

1 Interval Analysis and Machine Arithmetic: Why Signedness Ignorance Is Bliss GRAEME GANGE, JORGE A. NAVAS, PETER SCHACHTE, HARALD SØNDERGAARD, and PETER J. STUCKEY, The University of Melbourne, Australia

Add to Reading List

Source URL: jorgenavas.github.io

Download Document from Source Website

File Size: 761,33 KB

Share Document on Facebook

Similar Documents

Software engineering / Computing / Software / Compilers / Compiler construction / Compiler optimizations / Abstract interpretation / LLVM / Programming language implementation / Intermediate representation / Polyspace / Static program analysis

IKOS: A Framework for Static Analysis based on Abstract Interpretation (Tool Paper) Guillaume Brat, Jorge A. Navas, Nija Shi, and Arnaud Venet NASA Ames Research Center, Moffett Field, CAAbstract. The RTCA standar

DocID: 1xVJ1 - View Document

Algebra / Abstract algebra / Mathematics / Algebras / Multilinear algebra / Lie algebras / Hopf algebras / Category theory / Universal enveloping algebra / PoincarBirkhoffWitt theorem / Exterior algebra / F-algebra

THE EXT ALGEBRA OF A QUANTIZED CYCLE DAMIEN CALAQUE AND JULIEN GRIVAUX Abstract. Given a quantized analytic cycle (X, σ) in Y, we give a categorical Lie-theoretic interpretation of a geometric condition, discovered by S

DocID: 1xV3t - View Document

Mathematics / Order theory / Algebra / Abstract algebra / Lattice theory / Mathematical logic / Algebraic structures / Predicate logic / Distributive lattice / Complete Heyting algebra / Mereology / Partially ordered set

Tutorial to Locales and Locale Interpretation∗ Clemens Ballarin Abstract Locales are Isabelle’s approach for dealing with parametric theories. They have been designed as a module system for a theorem prover

DocID: 1xV3j - View Document

Mathematical analysis / Mathematics / Abstract interpretation / Function / Exponential function / Complex analysis / Formal methods / Centripetal CatmullRom spline

Bounds Analysis by Abstract Interpretation Xiaolei Qian Computer Science Laboratory SRI International

DocID: 1xV1k - View Document

Mathematics / Order theory / Algebra / Abstract algebra / Lattice theory / Lattice / Partially ordered set / KnasterTarski theorem / Complete lattice / Binary relation / Join and meet / Monotonic function

Abstract Interpretation over Non-Lattice Abstract Domains Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, and Peter J. Stuckey Department of Computing and Information Systems, The University of Melbour

DocID: 1xUNu - View Document