Typestates to automata and back: a tool

zbMATH Open1477.68073arXiv2009.08769MaRDI QIDQ5019693FDOQ5019693

João Mota, António Ravara, André Trindade

Publication date: 10 January 2022

Full work available at URL: https://arxiv.org/abs/2009.08769

Recommendations

• Tools for support of automata-based programming
• scientific article; zbMATH DE number 2006501
• Publication:4934532
• MoTraS: a tool for modal transition systems and their extensions
• Developing a software system for automata-based code generation

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Functional programming and lambda calculus (68N18) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Software, source code, etc. for problems pertaining to computer science (68-04)

Cites Work

• Three models for the description of language
• Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types
• Typestate: A programming language concept for enhancing software reliability

Cited In (5)

• Advancing orchestration synthesis for contract automata
• Research Challenges in Orchestration Synthesis
• Types from Frames as Finite Automata
• Tools for support of automata-based programming
• Why These Automata Types?

Uses Software

• Mungo

This page was built for publication: Typestates to automata and back: a tool

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5019693)