×
  • Share
  • Email
  • Embed
  • Like
  • Save
  • Private Content
 

Formal Verification of Programming Languages

by Working at Jason Reich on Jan 11, 2010

  • 1,736 views

Now with more Haskell and proof!

Now with more Haskell and proof!

Statistics

Views

Total Views
1,736
Views on SlideShare
1,719
Embed Views
17

Actions

Likes
0
Downloads
0
Comments
0

2 Embeds 17

http://www.qatar.cmu.edu 16
http://www.slideshare.net 1

Accessibility

Categories

Upload Details

Uploaded via SlideShare as Adobe PDF

Usage Rights

© All Rights Reserved

Report content

Flagged as inappropriate Flag as inappropriate
Flag as inappropriate

Select your reason for flagging this presentation as inappropriate.

Cancel
Post Comment
Edit your comment

Formal Verification of Programming Languages Formal Verification of Programming Languages Presentation Transcript