RTFM-core
The course in Compiler Construction is part of the Computer Science masters program at Luleå University of Technology (LTU). Since the fall of 2014, the course is given by the Embedded Systems group. This paper outlines the course syllabus and its relation to CPS/IoT and embedded systems in general....
Published in: | ACM SIGBED Review |
---|---|
Main Authors: | , , |
Format: | Article in Journal/Newspaper |
Language: | English |
Published: |
Association for Computing Machinery (ACM)
2017
|
Subjects: | |
Online Access: | http://dx.doi.org/10.1145/3036686.3036690 https://dl.acm.org/doi/pdf/10.1145/3036686.3036690 |
id |
cracm:10.1145/3036686.3036690 |
---|---|
record_format |
openpolar |
spelling |
cracm:10.1145/3036686.3036690 2024-06-02T08:10:12+00:00 RTFM-core course in compiler construction Lindner, Marcus Lindner, Andreas Lindgren, Per 2017 http://dx.doi.org/10.1145/3036686.3036690 https://dl.acm.org/doi/pdf/10.1145/3036686.3036690 en eng Association for Computing Machinery (ACM) http://www.acm.org/publications/policies/copyright_policy#Background ACM SIGBED Review volume 14, issue 1, page 29-36 ISSN 1551-3688 journal-article 2017 cracm https://doi.org/10.1145/3036686.3036690 2024-05-07T12:56:08Z The course in Compiler Construction is part of the Computer Science masters program at Luleå University of Technology (LTU). Since the fall of 2014, the course is given by the Embedded Systems group. This paper outlines the course syllabus and its relation to CPS/IoT and embedded systems in general. In particular, the course introduces domain specific language design with the outset from the imperative RTFM-core language. Students are exposed to design choices for the language, spanning from programming model, compiler design issues, back-end tools, and even runtime environments. The intention is to give a holistic perspective and motivate the use of compilation techniques towards robust, efficient, and verifiable (embedded) software. Of course, developing basic skills is not overlooked and as part of the laboratory assignments, students extend the min-imalistic Object Oriented language RTFM-cOOre and develop the compiler accordingly targeting the RTFM-core language as an intermediate representation. As the RTFM-core/-cOOre compilers are implemented using OCaml/Men-hir, the students are also exposed to functional languages and to their advantages in the context of compiler construction. However, for their own development they may choose alternative design tools and languages. This gives us the opportunity to review and correlate achievements and efficiency to the choice of tools and languages and it is an outset for future course development. Article in Journal/Newspaper Luleå Luleå Luleå ACM Publications (Association for Computing Machinery) ACM SIGBED Review 14 1 29 36 |
institution |
Open Polar |
collection |
ACM Publications (Association for Computing Machinery) |
op_collection_id |
cracm |
language |
English |
description |
The course in Compiler Construction is part of the Computer Science masters program at Luleå University of Technology (LTU). Since the fall of 2014, the course is given by the Embedded Systems group. This paper outlines the course syllabus and its relation to CPS/IoT and embedded systems in general. In particular, the course introduces domain specific language design with the outset from the imperative RTFM-core language. Students are exposed to design choices for the language, spanning from programming model, compiler design issues, back-end tools, and even runtime environments. The intention is to give a holistic perspective and motivate the use of compilation techniques towards robust, efficient, and verifiable (embedded) software. Of course, developing basic skills is not overlooked and as part of the laboratory assignments, students extend the min-imalistic Object Oriented language RTFM-cOOre and develop the compiler accordingly targeting the RTFM-core language as an intermediate representation. As the RTFM-core/-cOOre compilers are implemented using OCaml/Men-hir, the students are also exposed to functional languages and to their advantages in the context of compiler construction. However, for their own development they may choose alternative design tools and languages. This gives us the opportunity to review and correlate achievements and efficiency to the choice of tools and languages and it is an outset for future course development. |
format |
Article in Journal/Newspaper |
author |
Lindner, Marcus Lindner, Andreas Lindgren, Per |
spellingShingle |
Lindner, Marcus Lindner, Andreas Lindgren, Per RTFM-core |
author_facet |
Lindner, Marcus Lindner, Andreas Lindgren, Per |
author_sort |
Lindner, Marcus |
title |
RTFM-core |
title_short |
RTFM-core |
title_full |
RTFM-core |
title_fullStr |
RTFM-core |
title_full_unstemmed |
RTFM-core |
title_sort |
rtfm-core |
publisher |
Association for Computing Machinery (ACM) |
publishDate |
2017 |
url |
http://dx.doi.org/10.1145/3036686.3036690 https://dl.acm.org/doi/pdf/10.1145/3036686.3036690 |
genre |
Luleå Luleå Luleå |
genre_facet |
Luleå Luleå Luleå |
op_source |
ACM SIGBED Review volume 14, issue 1, page 29-36 ISSN 1551-3688 |
op_rights |
http://www.acm.org/publications/policies/copyright_policy#Background |
op_doi |
https://doi.org/10.1145/3036686.3036690 |
container_title |
ACM SIGBED Review |
container_volume |
14 |
container_issue |
1 |
container_start_page |
29 |
op_container_end_page |
36 |
_version_ |
1800756033454342144 |