Log In | Sign Up | Help
Upload_transparent

Compiling the π-calculus into a Multithreaded Typed Assembly Language

Twitter Facebook
  • Send This
  • Add_to_favs_transparent
  • Embed
  • Download
  • Flag
  • Add to Favorites

Scribd requires Javascript. Please enable Javascript in your browser.

Value This
Doc 		Scribd
Average
     
Pages: 6 43
Words: 2605 13640
Characters: 14741 81678
Lines: 76 623
     
     
Letters per word: 5.66 5.99
Words per line: 34.28 21.89
Words per page: 434.17 317.21

Document Information

767 Reads | 1 Like | 0 Comments | 1 Favorite

Added By
Description

This paper proposes a type-preserving translation from the π-calculus into MIL, a multithreaded typed assembly language for multi-core/multi-processo r architectures. We start from a simple asynchronous typed version of the π-calculus and translate it into MIL code that is then linked to a run-time library (written in MIL) that provides support for implementation of the π-calculus primitives (e.g., queuing messages and processes).

Pdf_16x16 6 Pages

Date Added

05/26/2008
Category
Tags
Groups

Assembly Language Programming Group Group_add

Copyright

Traditional Copyright: All rights reserved

More info »