Great! Posted as a news piece at http://www.ats-lang.org/Community.html
---------- Forwarded message ---------- From: Kiwamu Okabe <[email protected]> Date: Fri, Jul 8, 2016 at 10:38 AM Subject: Re: Real-time OS system state captured by ATS language (and questions) To: ats-lang-users <[email protected]> Hi all, On Sun, Jun 12, 2016 at 7:42 PM, Kiwamu Okabe <[email protected]> wrote: > A real-time OS, ChibiOS/RT, has system state as following: > > http://www.chibios.org/dokuwiki/doku.php?id=chibios:book:kernel#system_states > > I wrote following code to capture the state by ATS statics: Today, I talk about this topic at ML study meeting. The slide is found at following: http://www.slideshare.net/master_q/realtime-os-system-state-captured-by-ats-language Regards, -- Kiwamu Okabe at METASEPI DESIGN -- You received this message because you are subscribed to the Google Groups "ats-lang-users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/ats-lang-users. To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/CAEvX6dnSJp%2BsvQMESv19bVrFvZGUT_to7JrXOUwALC44F2Ya_A%40mail.gmail.com . -- You received this message because you are subscribed to the Google Groups "ats-lang-users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/ats-lang-users. To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/CAPPSPLrKv7XhkrzHPkWjWUGzh2fEzqagRJhgVR9x%3Dv79WU5YKQ%40mail.gmail.com.
