CHAIMS Megaprogr. Language
Purely compositional:
- no primitives for arithmetic ==> math megamodules
- no primitives for input/output ==> general and problem-specific I/O megamodules
Splitting up CALL-statement:
- parallelism by asynchrony in sequential program
- novel possibilities for optimizations
- reduction of complexity of invoke statements
higher-level language (assembler => HLLs, HLLs => composition/megamodule paradigm)