Publicação
Implementing Hybrid Semantics: From Functional to Imperative
| dc.contributor.author | Goncharov, Sergey | |
| dc.contributor.author | Neves, Renato | |
| dc.contributor.author | Proenca, José | |
| dc.date.accessioned | 2020-12-11T15:24:52Z | |
| dc.date.embargo | 2120 | |
| dc.date.issued | 2020 | |
| dc.description | Part of the Lecture Notes in Computer Science book series (LNCS, volume 12545) | pt_PT |
| dc.description.abstract | Hybrid programs combine digital control with differential equations, and naturally appear in a wide range of application domains, from biology and control theory to real-time software engineering. The entanglement of discrete and continuous behaviour inherent to such programs goes beyond the established computer science foundations, producing challenges related to e.g. infinite iteration and combination of hybrid behaviour with other effects. A systematic treatment of hybridness as a dedicated computational effect has emerged recently. In particular, a generic idealized functional language HybCore with a sound and adequate operational semantics has been proposed. The latter semantics however did not provide hints to implementing HybCore as a runnable language, suitable for hybrid system simulation (e.g. the semantics features rules with uncountably many premises). We introduce an imperative counterpart of HybCore, whose semantics is simpler and runnable, and yet intimately related with the semantics of HybCore at the level of hybrid monads. We then establish a corresponding soundness and adequacy theorem. To attest that the resulting semantics can serve as a firm basis for the implementation of typical tools of programming oriented to the hybrid domain, we present a web-based prototype implementation to evaluate and inspect hybrid programs, in the spirit of GHCi for Haskell and UTop for OCaml. The major asset of our implementation is that it formally follows the operational semantic rules. | pt_PT |
| dc.description.version | info:eu-repo/semantics/publishedVersion | pt_PT |
| dc.identifier.doi | 10.1007/978-3-030-64276-1_14 | pt_PT |
| dc.identifier.isbn | 978-3-030-64276-1 | |
| dc.identifier.uri | http://hdl.handle.net/10400.22/16554 | |
| dc.language.iso | eng | pt_PT |
| dc.peerreviewed | yes | pt_PT |
| dc.publisher | Springer | pt_PT |
| dc.relation | PReFECT, ref. POCI-01-0145-FEDER-029119 | pt_PT |
| dc.relation | Robust and Efficient Approaches to Evaluating Side Channel and Fault Attack Resilience | |
| dc.relation | Verification and Validation of Automated Systems' Safety and Security | |
| dc.relation.ispartofseries | ICTAC;2020 | |
| dc.relation.publisherversion | https://link.springer.com/chapter/10.1007/978-3-030-64276-1_14#citeas | pt_PT |
| dc.title | Implementing Hybrid Semantics: From Functional to Imperative | pt_PT |
| dc.type | conference object | |
| dspace.entity.type | Publication | |
| oaire.awardNumber | 731591 | |
| oaire.awardNumber | 876852 | |
| oaire.awardTitle | Robust and Efficient Approaches to Evaluating Side Channel and Fault Attack Resilience | |
| oaire.awardTitle | Verification and Validation of Automated Systems' Safety and Security | |
| oaire.awardURI | info:eu-repo/grantAgreement/EC/H2020/731591/EU | |
| oaire.awardURI | info:eu-repo/grantAgreement/EC/H2020/876852/EU | |
| oaire.citation.conferencePlace | Online | pt_PT |
| oaire.citation.endPage | 282 | pt_PT |
| oaire.citation.startPage | 262 | pt_PT |
| oaire.citation.title | Proceedings of the 17th International Colloquium on Theoretical Aspects of Computing (ICTAC 2020) | pt_PT |
| oaire.citation.volume | 12545 | pt_PT |
| oaire.fundingStream | H2020 | |
| oaire.fundingStream | H2020 | |
| person.familyName | Proenca | |
| person.givenName | Jose | |
| person.identifier.ciencia-id | 2412-FE81-2767 | |
| person.identifier.orcid | 0000-0003-0971-8919 | |
| person.identifier.rid | K-4256-2016 | |
| person.identifier.scopus-author-id | 24067286500 | |
| project.funder.identifier | http://doi.org/10.13039/501100008530 | |
| project.funder.identifier | http://doi.org/10.13039/501100008530 | |
| project.funder.name | European Commission | |
| project.funder.name | European Commission | |
| rcaap.rights | closedAccess | pt_PT |
| rcaap.type | conferenceObject | pt_PT |
| relation.isAuthorOfPublication | a9b67049-85ec-485a-a937-334ba113f087 | |
| relation.isAuthorOfPublication.latestForDiscovery | a9b67049-85ec-485a-a937-334ba113f087 | |
| relation.isProjectOfPublication | 49751611-9e4f-4733-a8e5-c7a7d355f16a | |
| relation.isProjectOfPublication | 1b3082bd-64c8-41d8-9f32-bb7f4b0d7bde | |
| relation.isProjectOfPublication.latestForDiscovery | 49751611-9e4f-4733-a8e5-c7a7d355f16a |
Ficheiros
Principais
1 - 1 de 1
Miniatura indisponível
- Nome:
- COM_CISTER_ICTAC_2020.pdf
- Tamanho:
- 568.65 KB
- Formato:
- Adobe Portable Document Format