ACRO: A multi-language toolkit for supporting Automated Checking of Research Outputs.
Richard John PreenJim SmithPublished in: CoRR (2022)
Keyphrases
- programming language
- english language
- natural language
- data driven
- semi automatic
- specification language
- computer assisted
- semi automated
- language learning
- scripting language
- type checking
- conceptual graphs
- fully automated
- neural network
- database
- object oriented programming
- expressive power
- open source
- consistency checking
- general purpose
- java programming