Full Abstraction for the Second Order Subset of an Algol-Like Language.
Kurt SieberPublished in: MFCS (1994)
Keyphrases
- programming language
- high level
- language learning
- data abstraction
- higher order
- natural language
- object oriented concepts
- database
- english language
- specification language
- context dependent
- logic programming language
- abstract data types
- operational semantics
- computational linguistics
- computer programs
- logic programming
- software engineering
- information retrieval
- data sets