|
|
|
LOOP (Localised for Object-Oriented Programs)
is a generic analyser
for simple object-oriented programs, i.e.,
Pascal procedures with objects, fields and
virtual calls.
LOOP is an implementation in Prolog
of the watchpoint semantics
extended to deal with object-oriented features.
LOOP performs an input/output analysis of the program, but it collects
information about special internal program point marked as
watchpoints. The time and space complexity of the analysis is
proportional to the number of watchpoints.
LOOP is able to perform both an abstract interpretation
and a combination of
abstract compilation and partial evaluation of the
program. The result is the same in both cases, but abstract compilation
is often cheaper in time and space.
LOOP does not contain any abstract domain
which is, instead, an external module
implementing a set of abstract operations.
LOOP has been developed at the
Computing Department of the
University of Verona, Italy.
Version 1.0 is freely available for
download.
more...
|
|