- Local linear logic for locality consciousness in multiset transformation
- Lecture Notes in Computer Science
- Pages (from-to)
- Document type
- Faculty of Science (FNWI)
- Informatics Institute (IVI)
We use Girard's linear logic (LL) to produce a semantics for Gamma, a multiset transformation language. The semantics improves on the existing structured operational semantics (SOS) of the language by highlighting Gamma's inefficiencies, which were hidden by the SOS. We propose a new logic called local linear logic (Local LL), which adds locality-consciousness to the resource-consciousness of linear logic. As a case study, we use this logic to propose a new semantics for Gamma. The new semantics suggests an annotation of Gamma which increases its efficiency without compromising its programming style. We show how the new semantics also gives us a better understanding of parallel Gamma and its implementation, and offers insight into the nature of chemicalreaction based computational models in general.
- go to publisher's site
Proceedings title: Programming languages: implementations, logics and programs: 7th international symposium, PLILP '95, Utrecht, the Netherlands, September 20-22, 1995: Proceedings
Place of publication: Berlin, Germany
Editors: M. Hermenegildo, S.D. Swierstra
If you believe that digital publication of certain material infringes any of your rights or (privacy) interests, please let the Library know, stating your reasons. In case of a legitimate complaint, the Library will make the material inaccessible and/or remove it from the website. Please Ask the Library, or send a letter to: Library of the University of Amsterdam, Secretariat, Singel 425, 1012 WP Amsterdam, The Netherlands. You will be contacted as soon as possible.