Login / Signup
Application of SMT in a Meta-Compiler: A Logic DSL for Specifying Type Systems.
Romain Béguet
Raphaël Amiard
Published in:
SMT (2023)
Keyphrases
</>
decision support
key technologies
data sets
artificial intelligence
information systems
intelligent systems
computer systems
computing systems
digital circuits
code generation