![Computing platforms / Aspect-oriented programming / Aspect-oriented software development / Java platform / Profiling / Java bytecode / Java virtual machine / Java / Runtime verification / Computing / Software / Cross-platform software Computing platforms / Aspect-oriented programming / Aspect-oriented software development / Java platform / Profiling / Java bytecode / Java virtual machine / Java / Runtime verification / Computing / Software / Cross-platform software](https://www.pdfsearch.io/img/81ea9e18b7877a5c61920cdcbfacabac.jpg)
| Document Date: 2008-11-03 13:00:08 Open Document File Size: 128,75 KBShare Result on Facebook
City Angers / Taormina / Paris / / Company COMPAQ / / Country France / Italy / / / IndustryTerm well-designed software package / imperfect solution / satisfactory solution / potential solution / lower level bytecode modification tool / / Organization National Aeronautics and Space Administration / / Person Klaus Havelund / Allen Goldberg / / / Product JPaX / / ProgrammingLanguage Java Bytecode / AspectJ / Java / / PublishedMedium Electronic Notes in Theoretical Computer Science / / Technology Virtual Machine / Java / CAV / / URL http /
SocialTag |