ERA

Download the full-sized PDF of Targeted Communication in LINEAR OBJECTSDownload the full-sized PDF

Analytics

Share

Permanent link (DOI): https://doi.org/10.7939/R38G8FM8H

Download

Export to: EndNote  |  Zotero  |  Mendeley

Communities

This file is in the following communities:

Computing Science, Department of

Collections

This file is in the following collections:

Technical Reports (Computing Science)

Targeted Communication in LINEAR OBJECTS Open Access

Descriptions

Author or creator
Alexiev, Vladimir
Additional contributors
Subject/Keyword
broadcasting
Linear Objects
objects and logic
linear logic
communication
Type of item
Computing Science Technical Report
Computing science technical report ID
TR94-14
Language
English
Place
Time
Description
Technical report TR94-14. Linear Objects (LO) of Andreoli and Pareschi is the first proposal to integrate object-oriented programming into logic programming based on Girard's Linear Logic (LL). In LO each object is represented by a separate open node of a proof tree. This \"insulates\" objects from one another which allows the attributes of an object to be represented as a multiset of atoms and thus facilitates easy retrieval and update of attributes. However this separation hinders communication between objects. Communication in LO is achieved through broadcasting to all objects which in our opinion is infeasible from a computational viewpoint. This paper proposes a refined communication mechanism for LO which uses explicit communication channels specified by the programmer. We name it TCLO which stands for \"Targeted Communication in LO\". Although channel specification puts some burden on the programmer, we demonstrate that the language is expressive enough by redoing some of the examples given for LO. Broadcasting can be done in a controlled manner. LO can be seen as a special case of TCLO where only one global channel (the forum) is used.
Date created
1994
DOI
doi:10.7939/R38G8FM8H
License information
Creative Commons Attribution 3.0 Unported
Rights

Citation for previous publication

Source
Link to related item

File Details

Date Uploaded
Date Modified
2014-04-28T21:00:20.099+00:00
Audit Status
Audits have not yet been run on this file.
Characterization
File format: pdf (Portable Document Format)
Mime type: application/pdf
File size: 368017
Last modified: 2015:10:12 21:03:38-06:00
Filename: TR94-14.pdf
Original checksum: c72dd2f7d12e7a04d2e4264ee56c9bc1
Well formed: true
Valid: true
Page count: 13
Activity of users you follow
User Activity Date