Login / Signup
Lang-n-Prove: A DSL for Language Proofs.
Matteo Cimini
Published in:
SLE (2022)
Keyphrases
</>
programming language
language learning
computer programs
domain specific languages
real time
artificial intelligence
natural language
multi agent systems
modeling language
object oriented programming
operational semantics
formal language
formal proofs