{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:48:57Z","timestamp":1750308537449,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":18,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,10,12]],"date-time":"2014-10-12T00:00:00Z","timestamp":1413072000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,10,12]]},"DOI":"10.1145\/2829957.2829962","type":"proceedings-article","created":{"date-parts":[[2015,11,20]],"date-time":"2015-11-20T13:58:40Z","timestamp":1448027920000},"page":"1-9","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["RTFM-core"],"prefix":"10.1145","author":[{"given":"Marcus","family":"Lindner","sequence":"first","affiliation":[{"name":"Lule\u00e5 University of Technology"}]},{"given":"Andreas","family":"Lindner","sequence":"additional","affiliation":[{"name":"Lule\u00e5 University of Technology"}]},{"given":"Per","family":"Lindgren","sequence":"additional","affiliation":[{"name":"Lule\u00e5 University of Technology"}]}],"member":"320","published-online":{"date-parts":[[2014,10,12]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"OCaml. (webpage) Last accessed 2014-07-28. {Online}. Available: http:\/\/ocaml.org  OCaml. (webpage) Last accessed 2014-07-28. {Online}. Available: http:\/\/ocaml.org"},{"key":"e_1_3_2_1_2_1","unstructured":"Menhir. (webpage) Last accessed 2014-08-07. {Online}. Available: http:\/\/gallium.inria.fr\/~fpottier\/menhir\/  Menhir. (webpage) Last accessed 2014-08-07. {Online}. Available: http:\/\/gallium.inria.fr\/~fpottier\/menhir\/"},{"key":"e_1_3_2_1_3_1","first-page":"110","article-title":"Real-time for the masses, step 1: Programming API and static priority SRP kernel primitives","author":"Eriksson J.","year":"2013","journal-title":"SIES. IEEE"},{"key":"e_1_3_2_1_4_1","first-page":"191","volume-title":"Proceedings., 11th","author":"Baker T.","year":"1990"},{"volume-title":"2015 IEEE 20th Conference on. IEEE","year":"2015","author":"Lindner A.","key":"e_1_3_2_1_5_1"},{"key":"e_1_3_2_1_6_1","volume-title":"Real World OCaml: Functional programming for the masses","author":"Minsky Y.","year":"2013","edition":"1"},{"key":"e_1_3_2_1_7_1","unstructured":"ANTLR (ANother Tool for Language Recognition). (webpage) Last accessed 2014-08-07. {Online}. Available: http:\/\/www.antlr.org  ANTLR (ANother Tool for Language Recognition). (webpage) Last accessed 2014-08-07. {Online}. Available: http:\/\/www.antlr.org"},{"key":"e_1_3_2_1_8_1","unstructured":"RTFM\n  : Real-Time For the Masses. (webpage) Last accessed 2014-07-28. {Online}. Available: http:\/\/www.rtfm-lang.org  RTFM: Real-Time For the Masses. (webpage) Last accessed 2014-07-28. {Online}. Available: http:\/\/www.rtfm-lang.org"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511811432"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/365813.365821"},{"volume-title":"with an application to the Entscheidungsproblem,\" Proceeding of the London Mathematical Society","year":"1936","author":"Turing A.","key":"e_1_3_2_1_11_1"},{"key":"e_1_3_2_1_12_1","volume-title":"Object Oriented Software Engineering: A Use Case Driven Approach","author":"Jacobson I.","year":"1992","edition":"1"},{"volume-title":"RTFM-lang Static Semantics for Systems with Mixed Criticality,\" in Ada-Europe 2014:  19th International Conference on Reliable Software Technologies","year":"2014","author":"Lindgren P.","key":"e_1_3_2_1_13_1"},{"key":"e_1_3_2_1_14_1","unstructured":"CompCert. (webpage) Last accessed 2014-08-06. {Online}. Available: http:\/\/compcert.inria.fr  CompCert. (webpage) Last accessed 2014-08-06. {Online}. Available: http:\/\/compcert.inria.fr"},{"key":"e_1_3_2_1_15_1","unstructured":"The Coq Proof Assistant. (webpage) Last accessed 2014-08-06. {Online}. Available: http:\/\/www.lix.polytechnique.fr\/coq\/  The Coq Proof Assistant. (webpage) Last accessed 2014-08-06. {Online}. Available: http:\/\/www.lix.polytechnique.fr\/coq\/"},{"volume-title":"Architecture,\" Geneva","year":"2005","author":"IEC","key":"e_1_3_2_1_16_1"},{"volume-title":"RTFM-4-FUN,\" in SIES","year":"2014","author":"Lindgren P.","key":"e_1_3_2_1_17_1"},{"key":"e_1_3_2_1_18_1","unstructured":"S. A. Edwards \"An introduction to objective caml \" 2010. {Online}. Available: http:\/\/www.cs.columbia.edu\/~sedwards\/classes\/2012\/w4115-spring\/ocaml.pdf  S. A. Edwards \"An introduction to objective caml \" 2010. {Online}. Available: http:\/\/www.cs.columbia.edu\/~sedwards\/classes\/2012\/w4115-spring\/ocaml.pdf"}],"event":{"name":"ESWEEK'14: TENTH EMBEDDED SYSTEM WEEK","sponsor":["CEDA Council on Electronic Design Automation","SIGBED ACM Special Interest Group on Embedded Systems","SIGDA ACM Special Interest Group on Design Automation","IEEE CAS","SIGMICRO ACM Special Interest Group on Microarchitectural Research and Processing","IEEE CS"],"location":"New Delhi India","acronym":"ESWEEK'14"},"container-title":["Proceedings of the WESE'14: Workshop on Embedded and Cyber-Physical Systems Education"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2829957.2829962","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2829957.2829962","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T18:56:06Z","timestamp":1750272966000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2829957.2829962"}},"subtitle":["Course in Compiler Construction"],"short-title":[],"issued":{"date-parts":[[2014,10,12]]},"references-count":18,"alternative-id":["10.1145\/2829957.2829962","10.1145\/2829957"],"URL":"https:\/\/doi.org\/10.1145\/2829957.2829962","relation":{},"subject":[],"published":{"date-parts":[[2014,10,12]]},"assertion":[{"value":"2014-10-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}