Synthesis of programs from temporal property specifications.
Amir PnueliUri KleinPublished in: MEMOCODE (2009)
Keyphrases
- recursive programs
- program synthesis
- functional programs
- temporal information
- control flow
- spatio temporal
- spatial and temporal
- temporal data
- temporal reasoning
- temporal evolution
- high level
- temporal constraints
- texture synthesis
- neural network
- temporal databases
- formal specification
- real time
- temporal consistency
- desirable properties
- control program
- delay insensitive
- information systems