Synopsis Overview of all the concepts in this glossary.
  • Contents: Overview of all the concepts in this glossary.
  • AbstractDataType: A definition of a data type.
  • AbstractSyntaxTree: Representation of the abstract syntactic structure of a program.
  • Compiler: Tranform source code to an executable form.
  • DomainSpecificLanguage: Programming language targeted for a particular application domain.
  • DynamicSemantics: Description of the execution behaviour of a program.
  • Grammar: A synonym for Syntax.
  • Interpreter: Directly execute the statements of a program.
  • Language: The set of strings defined by a Grammar.
  • LanguageDefinition: Description of all aspects of a language.
  • List: An ordered sequence of values.
  • MetaProgramming: Analysis or transformation of one program by another program.
  • Parser: Check that a text adheres to the rules of a language (and return a ParseTree).
  • ParseTree: Detailed represention of the concrete syntactic structure of a program.
  • Prettyprinter: Transform an AbstractSyntaxTree into a formatted string.
  • Refactoring: Restructuring source code to improve its internal structure without changing its external behaviour.
  • Relation: An unordered set of tuples.
  • Scope: The visibility and accessibility of names in a program.
  • Set: An unordered collection of values without duplicates.
  • SoftwareEngineering: Discpline of design, building and maintaining software.
  • SoftwareEvolution: Understanding and managing the continuous change of software.
  • SoftwareMetric: A metric to measure a source code property.
  • StaticSemantics: Description of the properties of a program that can be determined/checked before it is executed.
  • Syntax: The rules that describe correctly structured programs in a language.
  • Testing: Determine that the quality and functionality of software.
  • Tuple: An ordered, fixed length, sequence of values of possibly different type.
  • Typechecker: Checks the type rules for a source language.
  • Visualization: Visual presentation of scientific or abstract data.
Candidate concepts:
  • FiniteStateMachine
  • Binding
  • IDE
Is this page unclear, or have you spotted an error? Please add a comment below and help us to improve it. For all other questions and remarks, visit