J-LO 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 Cited by 5 Authors 2 Chen, Feng 2 Roşu, Grigore 1 Aktug, Irem 1 Dam, Mads 1 Gurov, Dilian Cited in 2 Serials 1 The Journal of Logic and Algebraic Programming 1 Logical Methods in Computer Science Cited in 1 Field 3 Computer science (68-XX) Citations by Year