Wikipedia - compiler correctness  ## Metadata - Author: **compiler correctness** - Full Title: Wikipedia - Category: #articles - URL: https://en.wikipedia.org/wiki/Compiler ## Highlights - In [computing](https://en.wikipedia.org/wiki/Computing), a **compiler** is a [computer program](https://en.wikipedia.org/wiki/Computer_program) that [translates](https://en.wikipedia.org/wiki/Translator_(computing)) computer code written in one [programming language](https://en.wikipedia.org/wiki/Programming_language) (the *source* language) into another language (the *target* language). The name "compiler" is primarily used for programs that translate [source code](https://en.wikipedia.org/wiki/Source_code) from a [high-level programming language](https://en.wikipedia.org/wiki/High-level_programming_language) to a [lower level language](https://en.wikipedia.org/wiki/Lower_level_language) (e.g. [assembly language](https://en.wikipedia.org/wiki/Assembly_language), [object code](https://en.wikipedia.org/wiki/Object_code), or [machine code](https://en.wikipedia.org/wiki/Machine_code)) to create an [executable](https://en.wikipedia.org/wiki/Executable) program ([View Highlight](https://read.readwise.io/read/01j64cskqx42p3qp5prkw8ptqy))