Compiler Verification and Compiler Architecture.
Gerhard GoosPublished in: Electron. Notes Theor. Comput. Sci. (2002)
Keyphrases
- programming language
- code generation
- level parallelism
- highly optimized
- general purpose
- distributed memory machines
- real time
- software systems
- highly modular
- industry standard
- model checking
- management system
- software engineering
- petri net
- database management systems
- software architecture
- associative memory
- object oriented
- relational databases
- information systems
- genetic algorithm