invest significant effort ensure compiler correctness ref name sun ref compilers language processor used transform source programs interpreter computer software transforms executes indicated operations ref name dragon translation process influences design computer languages leads preference compilation interpretation theory programming language compiler interpreter practice programming languages tend associated one compiler interpreter history diagram operation typical multi language multi target compiler theoretical computing concepts developed scientists mathematicians
Formal science Computer science Programming languages Compilers