Go backward to Computability of Phrases Go up to Top Go forward to Orthagonality

Design of a Language Core

Contradictory design objectives:

• Oriented towards a specific problem area.
• General purpose.
• User friendly.
• Efficient implementation possible.
• Extensible by new language features.
• Secure agains programming errors.
• Simple syntax and semantics.
• Logical support for verification.
• ...

Design is an artistic activity!