Loading...
Please wait, while we are loading the content...
Similar Documents
An Abstract Machine for an Object Calculus an Abstract Machine for an Object Calculus
| Content Provider | Semantic Scholar |
|---|---|
| Author | Lopes, L. Saebra Vasconcelos, Vasco Thudichum |
| Copyright Year | 1997 |
| Abstract | We present an abstract machine speciication for TyCO (Typed Concurrent Objects), a name-passing calculus that aims at capturing fundamental concepts present in Concurrent Object-Oriented Languages. TyCO has built-in labeled messages and ephemeral object s that communicate asynchronously. Persistent objects are supported through instantiation of recursive classes. Concurrency is pervasive and synchronous communication can be implemented by passing continuations in messages. Strong, static typing is provided by a type inference algorithm that supports a form of predicative polymorphism. This paper describes the abstract machine framework in detail, including how it evolves from TyCO and some important properties it can be shown to possess. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://www.di.fc.ul.pt/~vv/papers/dcc-97-5.ps.gz |
| Alternate Webpage(s) | http://www.di.fc.ul.pt/~vv/papers/lopes.vasconcelos_abstract-machine-tyco.ps.gz |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |