You are here

Using Datalog and Boolean Equation Systems for Program Analysis

M. Alpuente, Feliú, M. A., Joubert, C., and Villanueva, A., “Using Datalog and Boolean Equation Systems for Program Analysis”, Proceedings of the 13th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'08), vol. 5596. Springer-Verlag, pp. 215–231, 2009.