High Level Language - Syntax and Semantics - Logical Foundation Document - Archive ouverte HAL Access content directly
Reports (Technical Report) Year : 2021

High Level Language - Syntax and Semantics - Logical Foundation Document

Nicolas Breton
  • Function : Author
  • PersonId : 1110302

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.
Fichier principal
Vignette du fichier
C672_HLL_LFD_pr4.0rc1_A.pdf (477.32 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-03356342 , version 1 (28-09-2021)

Licence

Attribution - NoDerivatives

Identifiers

  • HAL Id : hal-03356342 , version 1

Cite

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

Collections

LARA
101 View
151 Download

Share

Gmail Facebook Twitter LinkedIn More