Synchronous Programming with Refinement Types

Cyber-Physical Systems (CPS) consist of software interacting with the physical world, such as robots, vehicles, and industrial processes. CPS are frequently responsible for the safety of lives, property, or the environment, and so software correctness must be determined with a high degree of certain...

Full description

Bibliographic Details

Published in:	Proceedings of ACM on programming languages Vol. 8; no. ICFP; pp. 938 - 972
Main Authors:	Chen, Jiawei, de Mendonça, José Luiz Vargas, Ayele, Bereket Shimels, Bekele, Bereket Ngussie, Jalili, Shayan, Sharma, Pranjal, Wohlfeil, Nicholas, Zhang, Yicheng, Jeannin, Jean-Baptiste
Format:	Journal Article
Language:	English
Published:	New York, NY, USA ACM 15.08.2024
Subjects:	Computer systems organization Data flow languages Embedded systems Formal software verification Operational semantics Robotics Software and its engineering Theory of computation Type structures refinement types robotics synchronous programming
ISSN:	2475-1421, 2475-1421
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!