NDLTD logo NDLTD Union Catalog and Global ETD Search

Global ETD Search

Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.

Results

Showing 1 to 1 of 1 for “"Program transformation (Computer programming)"”.

  1. Reducing instrumentation points in Larva

    University of Malta2013

    … that would help to validate the behavior of Java programs at runtime. The runtime verification monitor is compiled as Java and AspectJ code from a special language specification called Larva Script. These generated monitors are weaved together with the target system and while the target system is …

    malta Repository record