Compiling the π-calculus into a Multithreaded Typed Assembly Language (presentation)

 
 
 
 
 
Download PDF FREE

by cogumbreiro

Value This
Doc 		Scribd
Average
     
Pages: 22 43
Words: 859 13640
Characters: 3686 81678
Lines: 144 623
     
     
Letters per word: 4.29 5.99
Words per line: 5.97 21.89
Words per page: 39.05 317.21

Add to your reading list

Flag_red Flag this document

Document Information

312 Reads | 0 Comments

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 22 Pages

Date Added

10/27/2008
Category

Uncategorized.

Tags
Groups

Assembly Language Programming Group Group_add

Copyright

Public Domain

More info »

 

or use Facebook Connect