Image de couverture de livre

Mimosa: A Language for Asynchronous Implementation of Embedded Systems Software

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Huber, Nikolaus, Graf, Susanne, Rümmer, Philipp, Yi, Wang
Format:	Preprint
Publié:	2025
Sujets:	Programming Languages
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Compiling the Mimosa programming language to RTOS tasks
par: Huber, Nikolaus, et autres
Publié: (2025)

An Encoding of Interaction Nets in OCaml
par: Huber, Nikolaus, et autres
Publié: (2025)

An Encoding for CLP Problems in SMT-LIB
par: Amrollahi, Daneshvar, et autres
Publié: (2024)

Decision Procedure for A Theory of String Sequences
par: Hu, Denghang, et autres
Publié: (2025)

Arithmetizing Shape Analysis
par: Wolff, Sebastian, et autres
Publié: (2024)

An Asynchronous Scheme for Rollback Recovery in Message-Passing Concurrent Programming Languages
par: Vidal, Germán
Publié: (2023)

Verifying Asynchronous Hyperproperties in Reactive Systems
par: Beutner, Raven, et autres
Publié: (2025)

Pacing Types for Asynchronous Stream Equations
par: Kohn, Florian, et autres
Publié: (2026)

A Sound and Complete Characterization of Fair Asynchronous Session Subtyping
par: Bravetti, Mario, et autres
Publié: (2025)

Pacing Types: Safe Monitoring of Asynchronous Streams
par: Kohn, Florian, et autres
Publié: (2025)

Asynchronous Global Protocols, Precisely: Full Proofs
par: Pischke, Kai, et autres
Publié: (2025)

Synchron -- An API and Runtime for Embedded Systems
par: Sarkar, Abhiroop, et autres
Publié: (2022)

Fearless Asynchronous Communications with Timed Multiparty Session Protocols
par: Hou, Ping, et autres
Publié: (2024)

Unsafe Impedance: Safe Languages and Safe by Design Software
par: Barney, Lee, et autres
Publié: (2024)

Text2Mem: A Unified Memory Operation Language for Memory Operating System
par: Wang, Yi, et autres
Publié: (2025)

Triemaps that match
par: Jones, Simon Peyton, et autres
Publié: (2023)

Implementing CPSLint: A Data Validation and Sanitisation Tool for Industrial Cyber-Physical Systems
par: Odyurt, Uraz, et autres
Publié: (2026)

The Vienna Architecture Description Language
par: Freitag, Florian, et autres
Publié: (2024)

Higher-Order Asynchronous Effects
par: Ahman, Danel, et autres
Publié: (2023)

Fair Asynchronous Session Subtyping
par: Bravetti, Mario, et autres
Publié: (2021)

Strong Normalisation for Asynchronous Effects
par: Ahman, Danel, et autres
Publié: (2026)

The Formal Semantics and Implementation of a Domain-Specific Language for Mixed-Initiative Dialogs
par: Rowland, Zachary S., et autres
Publié: (2025)

Potential of WebAssembly for Embedded Systems
par: Wallentowitz, Stefan, et autres
Publié: (2024)

Abstracting Denotational Interpreters
par: Graf, Sebastian, et autres
Publié: (2024)

MLIR-Forge: A Modular Framework for Language Smiths
par: Ates, Berke, et autres
Publié: (2026)

Proceedings 17th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software
par: Peters, Kirstin, et autres
Publié: (2026)

Proceedings 15th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software
par: Costa, Diana, et autres
Publié: (2024)

Language-Driven Engineering An Interdisciplinary Software Development Paradigm
par: Steffen, Bernhard, et autres
Publié: (2024)

Proceedings 16th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software
par: Derakhshan, Farzaneh, et autres
Publié: (2025)

A Monadic Implementation of Functional Logic Programs
par: Hanus, Michael, et autres
Publié: (2026)

A2H-MAS: An Algorithm-to-HLS Multi-Agent System for Automated and Reliable FPGA Implementation
par: Lei, Jie, et autres
Publié: (2025)

Automated Formal Verification of a Software Fault Isolation System
par: Sotoudeh, Matthew, et autres
Publié: (2025)

Crash-Stop Failures in Asynchronous Multiparty Session Types
par: Barwell, Adam D., et autres
Publié: (2023)

pyeb: A Python Implementation of Event-B Refinement Calculus
par: Cataño, Néstor
Publié: (2025)

Target-Aware Implementation of Real Expressions
par: Saiki, Brett, et autres
Publié: (2024)

Expression Acceleration: Seamless Parallelization of Typed High-Level Languages
par: Hummelgren, Lars, et autres
Publié: (2022)

Behavioural Types for Heterogeneous Systems (Position Paper)
par: Fowler, Simon, et autres
Publié: (2024)

Development and Evaluation of Adaptive LearningSupport System Based on Ontology of MultipleProgramming Languages
par: Nongkhai, Lalita Na, et autres
Publié: (2025)

A Type System for Data Privacy Compliance in Active Object Languages
par: Baramashetru, Chinmayi Prabhu, et autres
Publié: (2025)

Fast and Extensible Hybrid Embeddings with Micros
par: Bocirnea, Sean, et autres
Publié: (2025)