Kiwamu Okabe さんの SlideShare でのスライド

1/5 ページ (全 68 件)

出典: http://www.slideshare.net/master_q

ATS2 updates 20179日前 by Kiwamu Okabe
RTOS application verified by VeriFast, and future plan約1ヶ月前 by Kiwamu Okabe
Poster: Comparing ATS and VeriFast on RTOS system state5ヶ月前 by Kiwamu Okabe

Hands-on VeriFast with STM32 microcontroller6ヶ月前 by Kiwamu Okabe
Does Infer dream of design by contract?8ヶ月前 by Kiwamu Okabe
Real-time OS system state captured by ATS language約1年前 by Kiwamu Okabe

Functional IoT: Introduction1年以上前 by Kiwamu Okabe
Functional IoT: Hardware and Platform1年以上前 by Kiwamu Okabe
Embedded application designed by ATS language1年以上前 by Kiwamu Okabe

Safer IoT using functional language1年以上前 by Kiwamu Okabe
Smart.js: JavaScript engine running on tiny MCU1年以上前 by Kiwamu Okabe
Kick-R: Get your own R instance with 36 cores on AWS1年以上前 by Kiwamu Okabe

ATS programming on ESP82661年以上前 by Kiwamu Okabe
ATS language overview'1年以上前 by Kiwamu Okabe
Static typing and proof in ATS language1年以上前 by Kiwamu Okabe

1234…次へ»