A Simple Technique for Automatic Recompilation in Modular Programming Languages.
Ronald A. OlssonGregory R. WhiteheadPublished in: Softw. Pract. Exp. (1989)
Keyphrases
- programming language
- object oriented
- general purpose
- logic programming
- strongly typed
- programming environment
- lambda calculus
- software engineering
- database languages
- functional programming
- high level
- denotational semantics
- specification language
- computer programs
- query processing
- machine learning
- theorem proving
- concurrent programming