Incremental algorithms for dispatching in dynamically typed languages.
Yoav ZibinJoseph GilPublished in: POPL (2003)
Keyphrases
- incremental algorithms
- incremental update
- temporal constraints
- expressive power
- language independent
- cross lingual
- higher order
- changing environment
- manufacturing systems
- database
- scheduling problem
- target language
- databases
- production scheduling
- grammatical inference
- database applications
- graph pattern matching
- lambda calculus