Testing the Compiler for a New-Born Programming Language: An Industrial Case Study (Experience Paper).
Yingquan ZhaoJunjie ChenRuifeng FuHaojie YeZan WangPublished in: ISSTA (2023)
Keyphrases
- programming language
- object oriented
- general purpose
- high level
- software engineering
- strongly typed
- programming environment
- database languages
- object oriented programming
- specification language
- denotational semantics
- test cases
- functional programming
- database language
- computer programs
- data abstraction
- machine learning
- database systems
- artificial intelligence