Export: Deriving a fixpoint computation algorithm for top-down abstract interpretation of logic programs
Muthukumar, Kalyan and Hermenegildo, Manuel V. (1990). Deriving a fixpoint computation algorithm for top-down abstract interpretation of logic programs. Monografía (Technical Report). Facultad de Informática (UPM), Madrid, Spain.
Please select an output format:
