High Level Language - Syntax and Semantics - Logical Foundation Document - Archive ouverte HAL Accéder directement au contenu
Rapport (Rapport Technique) Année : 2021

High Level Language - Syntax and Semantics - Logical Foundation Document

Nicolas Breton
  • Fonction : Auteur
  • PersonId : 1110302

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

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

Licence

Paternité - Pas de modifications

Identifiants

  • HAL Id : hal-03356342 , version 1

Citer

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

Collections

LARA
134 Consultations
213 Téléchargements

Partager

Gmail Facebook X LinkedIn More