Declarative Intraprocedural Flow Analysis of Java Source Code

Emma Nilsson-Nyman, G{\"o}rel Hedin, Eva Magnusson, Torbj{\"o}rn Ekman. Declarative Intraprocedural Flow Analysis of Java Source Code. Electronic Notes in Theoretical Computer Science, 238(5), 2009.

Publication has no abstract