Lang-n-Prove: A DSL for Language Proofs.

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