Navigation
|
Synopsis Overview of all the concepts in this glossary.
Description - 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
|