A monadic program slicer.

Yingzhou Zhang José Emilio Labra Gayo Agustín Cernuda del Río

Published in: ACM SIGPLAN Notices (2006)

Keyphrases

computer programs
information retrieval
multiscale
deductive databases
databases
information systems
website
integrity constraints
control program