DocumentCode
2161148
Title
A grainless semantics for the HARPO/L language
Author
Norvell, Theodore S.
Author_Institution
Comput. Eng. Res. Labs., Memorial Univ. of Newfoundland, St. John´´s, NL
fYear
2009
fDate
3-6 May 2009
Firstpage
810
Lastpage
814
Abstract
This paper presents a dynamic semantics for the parallel language HARPO/L, based on Reynolds´s grainless approach [1]. It shows that the approach scales to somewhat more sophisticated languages with few changes, while providing a solid semantics for the language, which will be used as a basis for compilation and optimization.
Keywords
optimising compilers; parallel languages; programming language semantics; Reynolds grainless approach; dynamic semantics; parallel language HARPO/L; program compiler; Concurrent computing; Constraint optimization; Data structures; Hardware; Microprocessors; Parallel languages; Parallel processing; Programming profession; Solids; concurrency; grainless semantics; language semantics; parallel languages;
fLanguage
English
Publisher
ieee
Conference_Titel
Electrical and Computer Engineering, 2009. CCECE '09. Canadian Conference on
Conference_Location
St. John´s, NL
ISSN
0840-7789
Print_ISBN
978-1-4244-3509-8
Electronic_ISBN
0840-7789
Type
conf
DOI
10.1109/CCECE.2009.5090240
Filename
5090240
Link To Document