From ARITH-17: Intro slides for the panel on language interations with arithmetic

33 %
67 %
Information about From ARITH-17: Intro slides for the panel on language interations with...
Technology

Published on November 1, 2008

Author: jasonriedy

Source: slideshare.net

Description

These are quick intro slides for ARITH-17's panel on "Arithmetic Interactions".

Modern Language Tools and 754R E. Jason Riedy UC Berkeley

Current State: HW Designers SW Designers ● Can implement ● Few implementation anything! options. No feedback on No access to Languages ● ● trade-offs. features. ● Not bridging the gap. ● What can 754R do?

● Current 754 support is ad-hoc. ● C99, Fortran 2003 provide different descriptions for same model. ● Many languages provide no semantics. ● Compilers provide less... ● 754R: Provide a language for languages. ● Not LIA: Describe 754 arithmetic, not all possible arithmetics. ● Use modern language tools: Type theory and inferencing.

Typing from 20k Feet ● Precisions ≈ data types ● Operations ≈ function types ● Expression evaluation rules ⊂typing rules

Impact on 754R ● Provides a sound base for definitions. ● Could define typing hierarchy and “literal” type for wide expression evaluation. – Assists interval arithmetic! ● Models modes and flags: – ● Possible problems: – Comparison operators and wide eval? – Compiler support?

Add a comment

Related presentations

Related pages

Gene-Diet Interations - Documents

Gene-Diet Interations. HRM728 Russell de Souza, RD, ScD Assistant Professor Population Genomics Program Clinical Epidemiology & Biostatistics. A few ...
Read more

Language Modeling for ASR Andreas Stolcke Microsoft and ...

Slide 1 Language Modeling for ASR Andreas Stolcke Microsoft and ICSI ... (based on slides from Dan Jurafsky at Stanford) ...
Read more

Alias Calculus for a Simple Imperative Language with ...

1. Alias Calculus for Simple Imperative Language with Decidable Pointer ArithmeticAleksandr Vorontsov1,Aizhan Satekbayeva2,Nikolay Shilov3,4М ...
Read more