Typestates to automata and back: a tool

MaRDI QIDQ5019693zbMATH OpenFDO

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

Publication date 10 January 2022

Full work available at URL https://arxiv.org/abs/2009.08769, http://eptcs.web.cse.unsw.edu.au/paper.cgi?ICE2020.4

Mathematics Subject Classification ID

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

Recommendations

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

Cites work

• Multiparty compatibility in communicating automata: characterisation and synthesis of global session types
• Three models for the description of language
• Typestate: A programming language concept for enhancing software reliability

Cited in

(6)

• Types from Frames as Finite Automata
• Why These Automata Types?
• Research Challenges in Orchestration Synthesis
• Advancing orchestration synthesis for contract automata
• Formal analysis of the contract automata runtime environment with \textsc{Uppaal}: modelling, verification and testing
• Tools for support of automata-based programming

Describes a project that uses

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)