Algebraic Compilation of Safety-Critical Java Bytecode.
James BaxterAna CavalcantiPublished in: IFM (2017)
Keyphrases
- safety critical
- java bytecode
- fault tolerant
- formal methods
- embedded systems
- agent architecture
- virtual machine
- support systems
- efficient execution
- adaptive systems
- programming language
- java virtual machine
- artificial intelligence
- databases
- database
- intermediate representation
- data mining
- garbage collection
- case study