Skip to Main content Skip to Navigation
New interface
Reports (Technical report)

High Level Language - Syntax and Semantics - Logical Foundation Document

Nicolas Breton 1 
Abstract : This document provides a formal definition of the modelling language HLL - High Level Language. HLL is a declarative stream-based language supporting a large variety of types and operators. It is suitable for modelling discrete-time sequential behaviors and expressing temporal properties of these behaviors. In 2018 the HLL Forum initiative started as a working group of tool providers and users of HLL. New features of HLL (compared to version 2.7) were developed jointly by the HLL Forum. This document is a prerelease (proposal) by Systerel to HLL Forum of an upcoming version 4.0.
Document type :
Reports (Technical report)
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-03356342
Contributor : Nicolas Breton Connect in order to contact the contributor
Submitted on : Tuesday, September 28, 2021 - 6:42:28 AM
Last modification on : Wednesday, October 26, 2022 - 8:13:57 AM
Long-term archiving on: : Wednesday, December 29, 2021 - 6:07:59 PM

File

C672_HLL_LFD_pr4.0rc1_A.pdf
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution - NoDerivatives 4.0 International License

Identifiers

  • HAL Id : hal-03356342, version 1

Collections

Citation

Nicolas Breton. High Level Language - Syntax and Semantics - Logical Foundation Document. [Technical Report] C672 pr4.0 rc1 A, Systerel. 2021. ⟨hal-03356342⟩

Share

Metrics

Record views

81

Files downloads

116