Certified assembly programming with embedded code pointers.
Zhaozhong NiZhong ShaoPublished in: POPL (2006)
Keyphrases
- program code
- programming language
- fully functional
- program understanding
- oracle database g express edition
- error handling
- programming tool
- code generation
- address space
- neural network
- computer programming
- data sets
- easy to follow
- development environment
- code examples
- programming environments
- programming course
- error correcting
- assembly systems
- application development
- source code
- digital images
- user interface
- android application