Sign in
Language Design Meets Verifying Compilers (Keynote).
David J. Pearce
Published in:
GPCE (2022)
Keyphrases
</>
programming language
modeling language
data sets
case study
general purpose
knowledge based systems
user interface
design process
database
information systems
natural language
building blocks
software systems
design patterns
knowledge discovery and data mining
object oriented programming