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

467 views

Published on

These are quick intro slides for <a href="http://arith.polito.it/program.html">ARITH-17's panel on "Arithmetic Interactions"</a>.

Published in: Technology, Education
0 Comments
0 Likes
Statistics
Notes
  • Be the first to comment

  • Be the first to like this

No Downloads
Views
Total views
467
On SlideShare
0
From Embeds
0
Number of Embeds
3
Actions
Shares
0
Downloads
1
Comments
0
Likes
0
Embeds 0
No embeds

No notes for slide

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

  1. 1. Modern Language Tools and 754R E. Jason Riedy UC Berkeley
  2. 2. 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?
  3. 3. ● 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.
  4. 4. Typing from 20k Feet ● Precisions ≈ data types ● Operations ≈ function types ● Expression evaluation rules ⊂typing rules
  5. 5. 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?

×