Your SlideShare is downloading. ×
From ARITH-17: Intro slides for the panel on language interations with arithmetic
From ARITH-17: Intro slides for the panel on language interations with arithmetic
From ARITH-17: Intro slides for the panel on language interations with arithmetic
From ARITH-17: Intro slides for the panel on language interations with arithmetic
From ARITH-17: Intro slides for the panel on language interations with arithmetic
Upcoming SlideShare
Loading in...5
×

Thanks for flagging this SlideShare!

Oops! An error has occurred.

×
Saving this for later? Get the SlideShare app to save on your phone or tablet. Read anywhere, anytime – even offline.
Text the download link to your phone
Standard text messaging rates apply

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

367

Published on

These are quick intro slides for

These are quick intro slides for

0 Comments
0 Likes
Statistics
Notes
  • Be the first to comment

  • Be the first to like this

No Downloads
Views
Total Views
367
On Slideshare
0
From Embeds
0
Number of Embeds
1
Actions
Shares
0
Downloads
1
Comments
0
Likes
0
Embeds 0
No embeds

Report content
Flagged as inappropriate Flag as inappropriate
Flag as inappropriate

Select your reason for flagging this presentation as inappropriate.

Cancel
No notes for slide

Transcript

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

×