Clock refinement in imperative synchronous languages.
Mike GemündeJens BrandtKlaus SchneiderPublished in: EURASIP J. Embed. Syst. (2013)
Keyphrases
- expressive power
- language independent
- high speed
- cross lingual
- power consumption
- transactional memory
- object oriented languages
- asynchronous communication
- refinement process
- multi lingual
- machine learning
- databases
- grammatical inference
- language identification
- first order logic
- linguistic resources
- data sets
- description languages
- database