computer science//programming language

A programming language specifies how programs are written and what their expressions and instructions mean. An implementation turns that specification into execution, through compilation, interpretation or a combination of both. The language also determines which mistakes can be rejected before a program runs.

A programming language specifies how programs are written and what their expressions and instructions mean. An implementation turns that specification into execution, through compilation, interpretation or a combination of both. The language also determines which mistakes can be rejected before a program runs.

Rules about types, state and resource access distribute responsibility between the programmer and the implementation. Computer science supplies the models used to reason about those rules; operating systems provide many of the resources a running program manipulates.