sle-uib / inf225 — Bitbucket

Filename
..
Abstract data type
Abstract syntax tree
Abstract value
Abstraction
Algebraic data type
Aliasing
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
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
Higher-order function
Immutable value
Imperative programming
Implicit disambiguation rule
Inheritance
Inlining
Island grammar
Just-in-time compilation
Kleene closure
LL grammar
LL parser
LR grammar
LR parser
Language
Left factoring
Left recursion
Lexeme
Lexical analysis
Lexical scoping
Lexical syntax
Literate programming
Logic programming
Massaging
Megamodel
Member
Method
Mixin
Multi-paradigm programming
Name binding
Named tuple
Namespace
Nominative type equivalence
Nonterminal footprint
Nonterminal symbol
Object-oriented programming
Optimisation
Overload resolution
Overloading
Parse forest
Parse tree
Parser combinator
Parser
Parsing expression grammar
Parsing
Pattern matching
Polymorphism
Precede restriction
Predictive parser
Priority rule
Procedural programming
Product type
Production rule
Program slicing
Recogniser
Recursive data type
Recursive descent parser
Referential transparency
Regular expression
Regular grammar
Reserve rule
Scannerful parsing
Scannerless parsing
Scope
Semantic analysis
Software Language
Stack frame
Start symbol
Static semantics
Static typing
Store
Strong typing
Structural type equivalence
Structure, Structure type
Structured programming
Sum type
Syntactic sugar
Tag Index
Terminal symbol
Token
Tokeniser
Top-down parser
Type inference
Type safety
Typecasting
Typechecker
Unification
Weak typing
Yield

..

Abstract data type

Abstract syntax tree

Abstract value

Abstraction

Algebraic data type

Aliasing

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

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

Higher-order function

Immutable value

Imperative programming

Implicit disambiguation rule

Inheritance

Inlining

Island grammar

Just-in-time compilation

Kleene closure

LL grammar

LL parser

LR grammar

LR parser

Language

Left factoring

Left recursion

Lexeme

Lexical analysis

Lexical scoping

Lexical syntax

Literate programming

Logic programming

Massaging

Megamodel

Member

Method

Mixin

Multi-paradigm programming

Name binding

Named tuple

Namespace

Nominative type equivalence

Nonterminal footprint

Nonterminal symbol

Object-oriented programming

Optimisation

Overload resolution

Overloading

Parse forest

Parse tree

Parser combinator

Parser

Parsing expression grammar

Parsing

Pattern matching

Polymorphism

Precede restriction

Predictive parser

Priority rule

Procedural programming

Product type

Production rule

Program slicing

Recogniser

Recursive data type

Recursive descent parser

Referential transparency

Regular expression

Regular grammar

Reserve rule

Scannerful parsing

Scannerless parsing

Scope

Semantic analysis

Software Language

Stack frame

Start symbol

Static semantics

Static typing

Store

Strong typing

Structural type equivalence

Structure, Structure type

Structured programming

Sum type

Syntactic sugar

Tag Index

Terminal symbol

Token

Tokeniser

Top-down parser

Type inference

Type safety

Typecasting

Typechecker

Unification

Weak typing

Yield

Wiki

inf225 / glossary