Towards secure IoT programming in Haskell-Reference-Cited by-同舟云学术

Towards secure IoT programming in Haskell

Published:2020-08-09 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell
language:
Short-container-title:

Author:

Valliappan Nachiappan¹,Krook Robert¹,Russo Alejandro¹,Claessen Koen¹

Affiliation:

1. Chalmers University of Technology, Sweden

Funder

Vetenskapsrådet

Stiftelsen för Strategisk Forskning

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3406088.3409027

Reference39 articles.

1. Cédric Auger J. L. Colaco Grégoire Hamon and Marc Pouzet. 2012. A Formalization and Proof of a Modular Lustre Compiler. Cédric Auger J. L. Colaco Grégoire Hamon and Marc Pouzet. 2012. A Formalization and Proof of a Modular Lustre Compiler.

2. Feldspar: A domain specific language for digital signal processing algorithms

3. Simply RaTT: a fitch-style modal calculus for reactive programming without space leaks

4. Botnets and Internet of Things Security

5. Clock-directed modular code generation for synchronous data-flow languages

Cited by 8 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. The Benefits of Tierless Elixir/Potato for Engineering IoT Systems;Proceedings of the 23rd ACM SIGPLAN International Workshop on Erlang;2024-08-28

2. Calculating Function Sensitivity for Synthetic Data Algorithms;The 35th Symposium on Implementation and Application of Functional Languages;2023-08-29

3. Towards Sparse Synchronous Programming in Lua;Proceedings of Cyber-Physical Systems and Internet of Things Week 2023;2023-05-09

4. Could Tierless Languages Reduce IoT Development Grief?;ACM Transactions on Internet of Things;2023-02-23

5. Creating a Language for Writing Real-Time Applications for the Internet of Things;2022 20th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE);2022-10-13