Incremental execution of transformation specifications.
Ganesh SittampalamOege de MoorKen Friis LarsenPublished in: POPL (2004)
Keyphrases
- control flow
- execution traces
- formal descriptions
- data flow
- formal specification
- incremental version
- information systems
- delay insensitive
- execution model
- incremental learning
- workflow management systems
- functional requirements
- specification language
- finite state machines
- linear transformation
- parallel execution
- code generation
- data driven
- high level
- case study
- database