Simplification of Abstract Machine for Functional Language and Its Theoretical Investigation.
Shin-ya NishizakiKensuke NaritaTomoyuki UedaPublished in: J. Softw. (2015)
Keyphrases
- theoretical investigation
- abstract machine
- functional language
- functional programming
- programming language
- data model
- proof planning
- object identity
- preprocessing
- object oriented programming
- software engineering
- data integration
- database systems
- search algorithm
- database
- execution model
- machine learning
- data mining
- databases