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