Symbolic Profiling of Multi-Paradigm Declarative Languages (2002)

by E Albert, G Vidal
Venue:In Proc. of Int’l Workshop on Logic-based Program Synthesis and Transformation (LOPSTR’01