Sign in

Python based framework for HDSLs with an underlying formal semantics: (Invited paper).

Keerthikumara DevarajegowdaJohannes SchreinerRainer FindenigWolfgang 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