Back to Results
First PageMeta Content
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


Instrumentation of Java Bytecode for Runtime Analysis Allen Goldberg and Klaus Havelund Kestrel Technology, NASA Ames Research Center Moffett Field, MS 269-3, California USA Phone: [removed], Email: {goldberg,havelund
Add to Reading List

Document Date: 2008-11-03 13:00:08

Open Document

File Size: 128,75 KB

Share 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