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
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;
Conference_Titel :
Electrical and Computer Engineering, 2009. CCECE '09. Canadian Conference on
Conference_Location :
St. John´s, NL
Print_ISBN :
978-1-4244-3509-8
Electronic_ISBN :
0840-7789
DOI :
10.1109/CCECE.2009.5090240
