Skip to Main content Skip to Navigation
Reports

High Level Language - Syntax and Semantics - Logical Foundation Document

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.
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 : Saturday, October 2, 2021 - 3:30:01 AM

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

68

Files downloads

47