Keyphrases
- programming language
- sliding window
- test bed
- window size
- functional language
- management system
- object oriented programming
- programming environment
- mathematical proofs
- database
- high level language
- programming education
- resource manager
- natural deduction
- linear logic
- programming concepts
- fixed size
- computer programming
- development environment
- theorem proving
- theorem prover
- computer science
- multiscale
- real world
- data sets