sle-uib / inf225 — Bitbucket

Filename
..
Abstract data type
Abstract syntax tree
Abstract value
Abstraction
Algebraic data type
Ambiguous grammar
Analytic grammar
Anonymous function
Application binary interface
Application programming interface
Associativity rule
Associativity
Attribute grammar
Backend
Backus-Naur form
Bottom-up parser
Chomsky normal form
Closure
Composite data type
Context-free grammar
Continuation
Cross-cutting concern
Dangling else problem
Declarative programming
Definite clause grammar
Derivation
Desugaring
Deterministic context-free grammar
Disambiguation rule
Domain-specific language
Duck typing
Dynamic dispatch
Dynamic language
Dynamic scoping
Dynamic semantics
Dynamic typing
Encapsulation
Environment
Epsilon
Evaluator
Extended Backus-Naur form
Field
Follow restriction
Formation rule
Frontend
Function type
Function value
Function
Functional programming
GLL parser
GLR parser
Generalised parser
Generative grammar
Generative programming
Generic programming
Glossary
Grammar in a broad sense
Grammar
Greibach normal form
Higher-order function
Imperative programming
Implicit disambiguation rule
Inheritance
Inlining
Island grammar
Just-in-time compilation
Kleene closure
LL grammar
LL parser
LR grammar
LR parser
Left factoring
Left recursion
Lexeme
Lexical analysis
Lexical scoping
Lexical syntax
Literate programming
Logic programming
Maintainability index
Massaging
Megamodel
Member
Method
Mixin
Multi-paradigm programming
Name binding
Named tuple
Namespace
Nominative type equivalence
Nonterminal footprint
Nonterminal symbol
Object-orientation
Object-oriented programming
Optimisation
Overload resolution
Overloading
Parse forest
Parse tree
Parser combinator
Parser
Parsing expression grammar
Parsing
Pattern matching
Polymorphism
Position restricted grammar
Precede restriction
Predictive parser
Prime normal form
Priority rule
Procedural programming
Production rule
Program slicing
Recogniser
Record, Record type
Recursive data type
Recursive descent parser
Referential transparency
Regular expression
Regular grammar
Reserve rule
Scannerful parsing
Scannerless parsing
Scope
Semantic analysis
Sequential coupling
Start symbol
Static semantics
Static typing
Strong typing
Structural type equivalence
Structure, Structure type
Structured programming
Syntactic sugar
Tag Index
Technological space
Terminal symbol
Token
Tokeniser
Top-down parser
Trait
Traversal
Type inference
Type safety
Type system
Typecasting
Typechecker
Unification
User interface
Viable prefix
Virtual inheritance
Weak typing
Yield

..

Abstract data type

Abstract syntax tree

Abstract value

Abstraction

Algebraic data type

Ambiguous grammar

Analytic grammar

Anonymous function

Application binary interface

Application programming interface

Associativity rule

Associativity

Attribute grammar

Backend

Backus-Naur form

Bottom-up parser

Chomsky normal form

Closure

Composite data type

Context-free grammar

Continuation

Cross-cutting concern

Dangling else problem

Declarative programming

Definite clause grammar

Derivation

Desugaring

Deterministic context-free grammar

Disambiguation rule

Domain-specific language

Duck typing

Dynamic dispatch

Dynamic language

Dynamic scoping

Dynamic semantics

Dynamic typing

Encapsulation

Environment

Epsilon

Evaluator

Extended Backus-Naur form

Field

Follow restriction

Formation rule

Frontend

Function type

Function value

Function

Functional programming

GLL parser

GLR parser

Generalised parser

Generative grammar

Generative programming

Generic programming

Glossary

Grammar in a broad sense

Grammar

Greibach normal form

Higher-order function

Imperative programming

Implicit disambiguation rule

Inheritance

Inlining

Island grammar

Just-in-time compilation

Kleene closure

LL grammar

LL parser

LR grammar

LR parser

Left factoring

Left recursion

Lexeme

Lexical analysis

Lexical scoping

Lexical syntax

Literate programming

Logic programming

Maintainability index

Massaging

Megamodel

Member

Method

Mixin

Multi-paradigm programming

Name binding

Named tuple

Namespace

Nominative type equivalence

Nonterminal footprint

Nonterminal symbol

Object-orientation

Object-oriented programming

Optimisation

Overload resolution

Overloading

Parse forest

Parse tree

Parser combinator

Parser

Parsing expression grammar

Parsing

Pattern matching

Polymorphism

Position restricted grammar

Precede restriction

Predictive parser

Prime normal form

Priority rule

Procedural programming

Production rule

Program slicing

Recogniser

Record, Record type

Recursive data type

Recursive descent parser

Referential transparency

Regular expression

Regular grammar

Reserve rule

Scannerful parsing

Scannerless parsing

Scope

Semantic analysis

Sequential coupling

Start symbol

Static semantics

Static typing

Strong typing

Structural type equivalence

Structure, Structure type

Structured programming

Syntactic sugar

Tag Index

Technological space

Terminal symbol

Token

Tokeniser

Top-down parser

Trait

Traversal

Type inference

Type safety

Type system

Typecasting

Typechecker

Unification

User interface

Viable prefix

Virtual inheritance

Weak typing

Yield

Wiki

inf225 / 2013 / glossary