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
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


Files produced by the author(s)


Distributed under a Creative Commons Attribution - NoDerivatives 4.0 International License


  • HAL Id : hal-03356342, version 1



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



Record views


Files downloads