A Temporal Language for SystemC.
Deian TabakovGila KamhiMoshe Y. VardiEli SingermanPublished in: FMCAD (2008)
Keyphrases
- programming language
- language learning
- spatio temporal
- natural language
- spatial and temporal
- temporal dimension
- temporal databases
- temporal data
- temporal reasoning
- temporal evolution
- object oriented programming
- language processing
- modeling language
- temporal patterns
- temporal constraints
- temporal information
- linear temporal logic
- machine learning
- temporal sequences
- specification language
- general purpose
- knowledge base