CETS: compiler enforced temporal safety for C.
Santosh NagarakatteJianzhou ZhaoMilo M. K. MartinSteve ZdancewicPublished in: ISMM (2010)
Keyphrases
- temporal data
- temporal constraints
- artificial intelligence
- temporal analysis
- temporal patterns
- spatial and temporal
- spatio temporal
- programming language
- temporal information
- temporal evolution
- temporal dimension
- general purpose
- neural network
- temporal sequences
- temporal consistency
- object oriented
- temporal relations
- temporal structure
- temporal characteristics