Implementing hybrid semantics: from functional to imperative

DOI10.1007/978-3-030-64276-1_14OpenAlexW3108626146MaRDI QIDQ2037951

Renato Neves, José Proença, Sergei S. Goncharov

Publication date: 8 July 2021

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

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Related Items (1)

HybCore

Uses Software

• SageMath
• Haskell
• Modelica
• OCaml
• dReach
• UTop
• GHCi

This page was built for publication: Implementing hybrid semantics: from functional to imperative