• Email
  • Favorite
  • Download
  • Embed
  • Private Content

ParaSail

by AdaCore on Dec 13, 2011

  • 573 views

Tucker Taft’s presents his work on a Parallel Specification and Implementation Language

Tucker Taft’s presents his work on a Parallel Specification and Implementation Language

Accessibility

Categories

Tags

high-integrity programming languages tucker taft static analysis parallel specification multicore

More...

Upload Details

Uploaded via SlideShare as Microsoft PowerPoint

Usage Rights

CC Attribution-NonCommercial-ShareAlike LicenseCC Attribution-NonCommercial-ShareAlike LicenseCC Attribution-NonCommercial-ShareAlike License

Flagged as inappropriate Flag as inappropriate
Flag as inappropriate

Select your reason for flagging this presentation as inappropriate. If needed, use the feedback form to let us know more details.

Cancel

4 Embeds 79

http://www.adacore.com 52
http://libre.adacore.com 16
http://www2.adacore.com 8
http://a0.twimg.com 3

Statistics

Favorites
0
Downloads
3
Comments
0
Embed Views
79
Views on SlideShare
494
Total Views
573
Post Comment
Edit your comment Cancel

ParaSail — Presentation Transcript