Towards an Application of Update Propagation on Logic Programs Representing Java Source Code

Richard Tantius, Daniel Speicher, Andreas Behrend

Logic programs are now used as a representation of object-oriented source code in academic prototypes for about a decade. This representation allows a clear and concise implementat…