Talks and Poster Presentations (without Proceedings-Entry):
J. Blieberger:
"AdaMM: A Precompiler for Memory Model Aware Programming on Higher Language Level";
Talk: Ada-Europe International Conference on Reliable Software Technologies,
Santander, Spain;
2021-06-07
- 2021-06-10.
English abstract:
Neither the current nor the next ISO/IEC standard of the Ada programming language does support memory model aware programming on language level. Instead one may employ compiler intrinsics for writing memory model aware software. This results in programs that are less comprehensible than what generally is expected from Ada programs. To remedy this facts we have implemented a precompiler, called AdaMM, which allows a programmer to use the language additions introduced recently and produces Ada code equipped with GCC compiler intrinsics.
Studying examples, we compare input and output of AdaMM on the basis of several static software engineering metrics. In addition, we give arguments why memory model aware programming should be supported on higher language level.
Keywords:
Ada, memory model
Created from the Publication Database of the Vienna University of Technology.