Term Rewriting as a Basis for the Design of a Functional and Parallel Programming Language. A case study: the language FP2.
Philippe JorrandPublished in: Advanced Course: Fundamentals of Artificial Intelligence (1985)
Keyphrases
- programming language
- functional language
- strongly typed
- general purpose
- specification language
- object oriented
- term rewriting
- object oriented programming
- programming environment
- domain specific languages
- computer programs
- database languages
- high level
- software engineering
- data abstraction
- functional programming
- high level programming language
- logic programming
- artificial intelligence
- denotational semantics
- database
- design patterns
- design process
- knowledge base
- object oriented concepts
- machine learning