European school of programming language design
E440605
The European school of programming language design is a tradition in computer science that emphasizes mathematically rigorous, formally defined programming languages and semantics, strongly influenced by researchers such as Adriaan van Wijngaarden.
Statements (44)
| Predicate | Object |
|---|---|
| instanceOf |
approach to programming language design
ⓘ
tradition in computer science ⓘ |
| associatedWith |
algebraic specification
ⓘ
formal methods ⓘ lambda calculus ⓘ program logics ⓘ proof assistants ⓘ typed lambda calculi ⓘ |
| contrastedWith | American school of programming language design ⓘ |
| emphasizes |
formal semantics of programming languages
ⓘ
formally defined programming languages ⓘ mathematical logic in language design ⓘ mathematically rigorous programming languages ⓘ proof techniques for program properties ⓘ type theory in language design ⓘ |
| field | programming languages ⓘ |
| focusesOn |
axiomatic semantics
ⓘ
denotational semantics ⓘ formal specification of semantics ⓘ formal specification of syntax ⓘ operational semantics ⓘ program verification ⓘ soundness of type systems ⓘ |
| goal |
elimination of ambiguities in language design
ⓘ
machine-independent language semantics ⓘ mathematically precise language definitions ⓘ support for formal reasoning about programs ⓘ |
| historicalRoot |
early European work on denotational semantics
ⓘ
early European work on formal grammars ⓘ mathematical logic tradition in Europe ⓘ |
| inAcademicContext |
programming language theory
ⓘ
theoretical computer science ⓘ |
| influenced |
design of formally defined programming languages
ⓘ
development of formal semantics frameworks ⓘ research in program verification ⓘ research in type systems ⓘ |
| influencedBy |
Adriaan van Wijngaarden
NERFINISHED
ⓘ
European theoretical computer science community ⓘ |
| methodology |
proof-based validation of language properties
ⓘ
use of formal grammars for syntax ⓘ use of mathematical structures for semantics ⓘ |
| region | Europe ⓘ |
| viewOnLanguages | programming languages as mathematical objects ⓘ |
| viewOnPrograms | programs as objects amenable to formal proof ⓘ |
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.