A monadic program slicer

Yingzhou Zhang [Jose Emilio Labra Gayo](http://di.uniovi.es/~labra) Agustín Cernuda del Río

Abstract

Type

Journal (JCR Indexed)

Publication

ACM SIGPLAN Notices, 41 (5), pp. 30-38

Date

May, 2006

Tags

Modular-monadic-semantics Slicer

Links

doi