Concept and implementation of the programming language and translator, for embedded systems, based on machine code decompilation and equivalence between source and executable code.
Samir RibicPublished in: WCRE (2006)
Keyphrases
- programming language
- embedded systems
- programming tool
- program code
- domain specific languages
- general purpose
- computer programs
- high level
- source code
- embedded software
- low cost
- functional programming
- object oriented
- programs written
- programming environment
- software engineering
- high level programming language
- functional language
- specification language
- software systems
- data abstraction
- java language
- open source
- strongly typed
- denotational semantics
- development tools
- object oriented programming
- java virtual machine
- embedded real time systems