BCEL
From MaRDI portal
Software:19900
swMATH7884MaRDI QIDQ19900FDOQ19900
Author name not available (Why is that?)
Cited In (5)
- Using abstract interpretation to add type checking for interfaces in Java bytecode verification
- Runtime enforcement monitors: Composition, synthesis, and enforcement abilities
- Design pattern detection in Java systems: A dynamic analysis based approach
- \textsc{Mnemonics}: type-safe bytecode generation at run time
- Software Visualization
This page was built for software: BCEL
