Login / Signup
Equation-Directed Axiomatization of Lustre Semantics to Enable Optimized Code Validation.
Lélio Brun
Christophe Garion
Pierre-Loïc Garoche
Xavier Thirioux
Published in:
ACM Trans. Embed. Comput. Syst. (2023)
Keyphrases
</>
domain specific languages
complete axiomatization
formal semantics
programming language
source code
logic programming
general theory
situation calculus
operational semantics
numerical solution
database
conceptual model
semantic information
conceptual graphs
control flow
data exchange
databases