swMATH ID: 32260
Software Authors: Eric Bodden; Volker Stolz
Description: J-LO, the Java Logical Observer. A tool for runtime-checking temporal assertions. J-LO, the Java Logical Observer, is a tool for runtime-checking temporal assertions in Java 5 applications. Temporal properties (see below) can be specified using a linear time logic (LTL) over AspectJ pointcuts. Specification takes place right in the source code in the form of Java 5 annotations. After compiling this source code with a Java 5 compliant compiler, Java extracts those annotations from the bytecode and, at the same time, instruments the application with the appropriate runtime checks.
Homepage: http://www-i2.informatik.rwth-aachen.de/Research/RV/JLO/
Related Software: AspectJ; Java-MOP; DaCapo; PQL; Clara; Java-MaC; ConSpec
Cited in: 3 Publications

Citations by Year