Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Dynamic slicing based on redex trails
Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
A brief survey of program slicing
ACM SIGSOFT Software Engineering Notes
Lightweight program specialization via dynamic slicing
Proceedings of the 2005 ACM SIGPLAN workshop on Curry and functional logic programming
Forward slicing of functional logic programs by partial evaluation
Theory and Practice of Logic Programming
Dynamic slicing of lazy functional programs based on redex trails
Higher-Order and Symbolic Computation
Provenance as dependency analysis
DBPL'07 Proceedings of the 11th international conference on Database programming languages
Provenance as dependency analysis
Mathematical Structures in Computer Science - Programming Language Interference and Dependence
Functional programs that explain their work
Proceedings of the 17th ACM SIGPLAN international conference on Functional programming
Hi-index | 0.00 |