Michael Leuschel, Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit. SOC: a slicer for CSP specifications. In Germán Puebla, Germán Vidal, editors, Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 2009, Savannah, GA, USA, January 19-20, 2009. pages 165-168, ACM, 2009. [doi]
Abstract is missing.