here - Stefan-Marr.de

Appendix A. Appendix: Survey Material
Squeak Concept Exposure
Based on: spec, source green threads primitives
Version: 4.3 semaphore primitives
Supported shared memory implicit semantics
Models: threads and locks
A.2. Concurrent and Parallel Programming Concepts
To complement the survey of concurrent and parallel programming concepts
of Sec. 3.2, we present here the used templates and a list of concepts recorded
for each subject. Furthermore, we include the template used to assess the
concepts themselves.
Lst. A.3 shows the template used to record the informations about all the
survey subjects. Beside a description, we collected a list of concepts for each
subject. Furthermore, we assessed how the various concepts’ semantics are
enforced. For later reference, we also recorded information on the paper the
subject relates to, the online article, or specification describing a language in
detail.
1 Survey :
2 description :
3 Which concepts does the language / paper provide ,
4 and how are guarantees enforced ?
5 required information :
6 - description
7 - concepts
8 - enforcement approaches
9 other information :
10 - url
11 - spec
12 - bibkey
13 enforcement approaches :
14 - by - convention
15 - by - compilation
16 - by - construction
Listing A.3: Survey structure to record concepts provided by languages, or discussed
in papers and surveys.
Lst. A.4 demonstrate how the survey template is applied to the Axum programming
language. A brief description characterizes the main aspects of
the language related to the survey for future reference. The list of concepts
254