2004 | OriginalPaper | Buchkapitel
PiLib: A Hosted Language for Pi-Calculus Style Concurrency
verfasst von : Vincent Cremet, Martin Odersky
Erschienen in: Domain-Specific Program Generation
Verlag: Springer Berlin Heidelberg
Enthalten in: Professional Book Archive
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
PiLib is a library written in Scala that implements the concurrency constructs of the $\pi \mbox{-calculus}$. Some features of the programming language Scala, examined in the paper, make it possible to use almost the same syntax as in the $\pi \mbox{-calculus}$. The advantages of this library with respect to a simple $\pi \mbox{-calculus}$ interpreter are that we can transmit any value along names, we can get control over them using the type system, and we have access to the full power of Scala in terms of expressiveness and libraries.