dc.contributor.author |
Quiroz, FH |
|
dc.date.accessioned |
2011-01-22T10:26:36Z |
|
dc.date.available |
2011-01-22T10:26:36Z |
|
dc.date.issued |
2004 |
|
dc.identifier.uri |
http://hdl.handle.net/11154/1525 |
|
dc.description.abstract |
Gamma is a simple, but powerful, parallel programming language. Its only data structure is the multiset or bag. Banatre and Metayer proposed the language as a means to derive sistematically programs in the spirit of Dijkstra's discipline of programming. It has been applied to solve problems in scheduling, image processing and fractal generation. Different operational semantics models for Gamma have been proposed. We single out one of them and also produce a denotational semantics for which full abstraction is proven with respect to the operational model chosen. The result can be used as a basis for a further proof system for Gamma. |
en_US |
dc.language.iso |
en |
en_US |
dc.title |
Full abstraction for Gamma |
en_US |
dc.type |
Article |
en_US |
dc.identifier.idprometeo |
1710 |
|
dc.source.novolpages |
:20-26 |
|
dc.subject.wos |
Computer Science, Artificial Intelligence |
|
dc.subject.wos |
Computer Science, Information Systems |
|
dc.subject.wos |
Computer Science, Software Engineering |
|
dc.subject.wos |
Computer Science, Theory & Methods |
|
dc.description.index |
WoS: SCI, SSCI o AHCI |
|
dc.relation.journal |
Proceedings of the Fifth Mexican International Conference In Computer Science (Enc 2004) |
|