article · 1996
Implementation of "Generic Synchronization Policies" in Pict
Patrick Varone
Cited by 0Abstract and details only
Abstract
. This report presents an implementation of McHale's "Generic Synchronization Policies" (GSP) in the Pict programming language. Since Pict is defined by mapping programming language constructs to the pi calculus, this exercise helps us on the one hand to assign an operational semantics to GSP, and on the other hand to explore the use of Pict and the pi calculus as a basis for modelling advanced object-oriented programming constructs. Keywords: Object-based concurrency, synchronization, p calculus, semantics. CR Categories and Subject Descriptors: D.1.3 [Programming Techniques]: Concurrent programming; D.1.5 [Programming Techniques]: Object-Oriented Programming; D.2.m [Software Engineering]: Reusable Software; D.3.1 [Programming Languages ] Semantics; D.3.2 [Programming Languages] Concurrent, distributed and parallel languages. Author's address: Institut fr Informatik (IAM), Universitt Bern, Neubrckstrasse 10, CH-3012 Berne, Switzerland. E-mail: scg@iam.unibe.ch. WWW: http://iamwww....
Cite this paper
Varone, P. (1996). Implementation of "Generic Synchronization Policies" in Pict.
Varone, Patrick. “Implementation of "Generic Synchronization Policies" in Pict.” 1996.
Varone, Patrick. 1996. “Implementation of "Generic Synchronization Policies" in Pict.”
Varone, P. (1996) ‘Implementation of "Generic Synchronization Policies" in Pict’.
@article{varone1996implementation,
title = {{Implementation of "Generic Synchronization Policies" in Pict}},
author = {Varone, Patrick},
year = {1996}
}Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.