SwePub
Sök i LIBRIS databas

  Utökad sökning

WFRF:(Lindnér Per)
 

Sökning: WFRF:(Lindnér Per) > RTFM-core :

RTFM-core : Course in Compiler Construction

Lindner, Marcus (författare)
Luleå tekniska universitet,EISLAB
Lindner, Andreas (författare)
Luleå tekniska universitet,EISLAB
Lindgren, Per (författare)
Luleå tekniska universitet,EISLAB
 (creator_code:org_t)
2014-10-12
2014
Engelska.
Ingår i: Proceedings of the WESE'14. - New York : ACM Digital Library. - 9781450330909
  • Konferensbidrag (refereegranskat)
Abstract Ämnesord
Stäng  
  • The course in Compiler Construction is part of the ComputerScience second cycle curriculum at Lulea Universityof Technology (LTU). Starting this year, the course is nowto be given by the Embedded Systems group at LTU. Thispaper outlines the course syllabus, and its relation to CPS/IoT and embedded systems in general. In particular, thecourse will now introduce domain specic language designwith the outset from the RTFM-core language. Studentswill be exposed to design choices for the language, spanningfrom programming model, compiler design issues, backendtools and even run-time environments. The intention is togive a holistic perspective, and motivate the use of compilationtechniques towards robust, ecient and veriable (embedded)software. Of course, developing basic skills will notbe overlooked, and as part of the laboratory assignments,students will extend the minimalistic Object Oriented languageRTFM-cOOre and develop the compiler accordinglytargeting the RTFM-core language as an intermediate representation.As the RTFM-core/-cOOre compilers are implementedunder OCaml/Menhir, the students will be exposedto the advantages of functional languages in the contextof compiler construction. However, for their own developmentthey may choose alternative design tools and languages(such as ANTLR/Java). This will give us the opportunityto review and correlate achievements and eciencyto the choice of tools and languages and be an outset forfuture course development.

Ämnesord

TEKNIK OCH TEKNOLOGIER  -- Elektroteknik och elektronik -- Inbäddad systemteknik (hsv//swe)
ENGINEERING AND TECHNOLOGY  -- Electrical Engineering, Electronic Engineering, Information Engineering -- Embedded Systems (hsv//eng)

Nyckelord

Embedded System
Inbyggda system

Publikations- och innehållstyp

ref (ämneskategori)
kon (ämneskategori)

Hitta via bibliotek

Till lärosätets databas

Hitta mer i SwePub

Av författaren/redakt...
Lindner, Marcus
Lindner, Andreas
Lindgren, Per
Om ämnet
TEKNIK OCH TEKNOLOGIER
TEKNIK OCH TEKNO ...
och Elektroteknik oc ...
och Inbäddad systemt ...
Artiklar i publikationen
Proceedings of t ...
Av lärosätet
Luleå tekniska universitet

Sök utanför SwePub

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

 
pil uppåt Stäng

Kopiera och spara länken för att återkomma till aktuell vy