Abstract Semantics for Communication Primitives in a Polymorphic Language ∗
We propose a method to extend an ML-style polymorphic language with transparent communication primitives, and give their precise operational semantics. These primitives allow any polymorphic programs definable in ML to be used remotely in a manner completely transparent to the programmer. Furthermor...
Main Author: | |
---|---|
Other Authors: | |
Format: | Text |
Language: | English |
Subjects: | |
Online Access: | http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.121.6265 http://www.pllab.riec.tohoku.ac.jp/~ohori/research/ohor93popl.pdf |
id |
ftciteseerx:oai:CiteSeerX.psu:10.1.1.121.6265 |
---|---|
record_format |
openpolar |
spelling |
ftciteseerx:oai:CiteSeerX.psu:10.1.1.121.6265 2023-05-15T16:01:22+02:00 Abstract Semantics for Communication Primitives in a Polymorphic Language ∗ Atsushi Ohori The Pennsylvania State University CiteSeerX Archives application/pdf http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.121.6265 http://www.pllab.riec.tohoku.ac.jp/~ohori/research/ohor93popl.pdf en eng http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.121.6265 http://www.pllab.riec.tohoku.ac.jp/~ohori/research/ohor93popl.pdf Metadata may be used without restrictions as long as the oai identifier remains attached to it. http://www.pllab.riec.tohoku.ac.jp/~ohori/research/ohor93popl.pdf text ftciteseerx 2016-01-07T14:08:59Z We propose a method to extend an ML-style polymorphic language with transparent communication primitives, and give their precise operational semantics. These primitives allow any polymorphic programs definable in ML to be used remotely in a manner completely transparent to the programmer. Furthermore, communicating programs may be based on different architecture and use different data representations. We define a polymorphic functional calculus with transparent communication primitives, which we call dML, as an extension of Damas and Milner’s proof system for ML. We then develop an algorithm to translate dML to a “core ” language containing only lowlevel communication primitives that are readily implementable in most of distributed environments. To establish the type safety of communicating programs, we define an operational semantics of the core language and prove that the polymorphic type system of dML is sound with respect to the operational semantics of the translated terms of the core language. 1 Text DML Unknown |
institution |
Open Polar |
collection |
Unknown |
op_collection_id |
ftciteseerx |
language |
English |
description |
We propose a method to extend an ML-style polymorphic language with transparent communication primitives, and give their precise operational semantics. These primitives allow any polymorphic programs definable in ML to be used remotely in a manner completely transparent to the programmer. Furthermore, communicating programs may be based on different architecture and use different data representations. We define a polymorphic functional calculus with transparent communication primitives, which we call dML, as an extension of Damas and Milner’s proof system for ML. We then develop an algorithm to translate dML to a “core ” language containing only lowlevel communication primitives that are readily implementable in most of distributed environments. To establish the type safety of communicating programs, we define an operational semantics of the core language and prove that the polymorphic type system of dML is sound with respect to the operational semantics of the translated terms of the core language. 1 |
author2 |
The Pennsylvania State University CiteSeerX Archives |
format |
Text |
author |
Atsushi Ohori |
spellingShingle |
Atsushi Ohori Abstract Semantics for Communication Primitives in a Polymorphic Language ∗ |
author_facet |
Atsushi Ohori |
author_sort |
Atsushi Ohori |
title |
Abstract Semantics for Communication Primitives in a Polymorphic Language ∗ |
title_short |
Abstract Semantics for Communication Primitives in a Polymorphic Language ∗ |
title_full |
Abstract Semantics for Communication Primitives in a Polymorphic Language ∗ |
title_fullStr |
Abstract Semantics for Communication Primitives in a Polymorphic Language ∗ |
title_full_unstemmed |
Abstract Semantics for Communication Primitives in a Polymorphic Language ∗ |
title_sort |
abstract semantics for communication primitives in a polymorphic language ∗ |
url |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.121.6265 http://www.pllab.riec.tohoku.ac.jp/~ohori/research/ohor93popl.pdf |
genre |
DML |
genre_facet |
DML |
op_source |
http://www.pllab.riec.tohoku.ac.jp/~ohori/research/ohor93popl.pdf |
op_relation |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.121.6265 http://www.pllab.riec.tohoku.ac.jp/~ohori/research/ohor93popl.pdf |
op_rights |
Metadata may be used without restrictions as long as the oai identifier remains attached to it. |
_version_ |
1766397257143287808 |