Conference Proceedings

Semantics-based dataflow analysis of logic programs

H SONDERGAARD, K Marriott, GX Ritter (ed.)

North-Holland | Published : 1989