Optimizing memory usage in higher-order programming languages: theoretical and experimental studies.
Mitchell WandWilliam D. ClingerPublished in: ACM SIGSOFT Softw. Eng. Notes (2000)
Keyphrases
- experimental study
- memory usage
- programming language
- higher order
- lambda calculus
- general purpose
- high level
- object oriented
- memory footprint
- strongly typed
- software engineering
- programming environment
- computer programs
- memory requirements
- denotational semantics
- database languages
- object oriented programming
- specification language
- experimental evaluation
- program code
- object oriented concepts
- pairwise
- concurrent programming
- machine learning
- data abstraction
- predicate calculus
- database query languages
- programming language constructs