Implementing hybrid semantics: from functional to imperative

DOI10.1007/978-3-030-64276-1_14MaRDI QIDQ2037951zbMATH OpenOpenAlexFDO

Authors Renato Neves, José Proença, S. 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)

Recommendations

• scientific article; zbMATH DE number 986251
• Relating the implementation techniques of functional and functional logic languages
• scientific article; zbMATH DE number 194911
• A Hybrid Denotational Semantics for Hybrid Systems
• Imperative Functional Programming with Isabelle/HOL
• A language-based approach to functionally correct imperative programming
• A semantics for hybrid iteration

Cited in

(4)

• HybCore
• A complete \(\mathcal{V}\)-equational system for graded \(\lambda\)-calculus
• Modular analysis of distributed hybrid systems using post-regions
• Representing guardedness in call-by-value and guarded parametrized monads

Describes a project that uses

Uses Software

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

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

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