Login / Signup
Python based framework for HDSLs with an underlying formal semantics: (Invited paper).
Keerthikumara Devarajegowda
Johannes Schreiner
Rainer Findenig
Wolfgang Ecker
Published in:
ICCAD (2017)
Keyphrases
</>
formal semantics
invited paper
operational semantics
data mining
modelling language
real world
information technology
fuzzy logic
open source
first order logic
conceptual model
logical reasoning
logical language