Abstract Diagnosis of Functional Programs, Proc. of LOPSTR 2002, pp.1-16, 2003. ,
DOI : 10.1007/3-540-45013-0_1
A Debugging Scheme for Functional Logic Programs, Proc. of WFLP, 2001. ,
TeaBag: A Functional Logic Debugger, Proc. of WFLP 2004, pp.4-18, 2004. ,
On the role of semantic approximations in validation and diagnosis of constraint logic programs, Proc. of AADEBUG'97, pp.155-170, 1997. ,
ViMer, Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming , PPDP '03, pp.56-66, 2003. ,
DOI : 10.1145/888251.888258
Assertion based Inductive Verification Methods for Logic Programs, Proceedings of MFCSIT'2000, 2001. ,
DOI : 10.1016/S1571-0661(05)80036-2
Proving properties of logic programs by abstract diagnosis, Proc. of LOMAPS'96, pp.22-50, 1996. ,
DOI : 10.1007/3-540-62503-8_2
Abstract diagnosis, The Journal of Logic Programming, vol.39, issue.1-3, pp.43-93, 1999. ,
DOI : 10.1016/S0743-1066(98)10033-X
Proving concurrent constraint programs correct, ACM Transactions on Programming Languages and Systems, vol.19, issue.5, pp.685-725177, 1987. ,
DOI : 10.1145/265943.265954
A debugging model for functional logic programs, Proc. of 5th PLILP, pp.28-43, 1993. ,
DOI : 10.1007/3-540-57186-8_69
An integrated development environment for declarative multi-paradigm programming, Proc. of the International Workshop on Logic Programming Environments (WLPE'01), pp.1-14, 2001. ,
Declarative error diagnosis, New Generation Computing, vol.2, issue.No. 3, pp.133-154, 1987. ,
DOI : 10.1007/BF03037396
Towards a portable lazy functional declarative debugger, Australian Computer Science Communications, vol.18, issue.1, pp.401-408, 1996. ,
Temporal concurrent constraint programming: Denotation, logic and applications, Nordic Journal of Computing, vol.9, issue.1, pp.145-188, 2002. ,
A Stochastic Concurrent Constraint Based Framework to Model and Verify Biological Systems, Clei Electronic Journal, vol.9, issue.2, 2005. ,
Foundations of timed concurrent constraint programming, Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science, pp.71-80, 1994. ,
DOI : 10.1109/LICS.1994.316085
The semantic foundations of concurrent constraint programming, Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '91, 1991. ,
DOI : 10.1145/99583.99627
Algorithmic Program Debugging, 1982. ,
Unfold/Fold Transformations of Logic Programs, Proc. of 2nd ICLP, pp.127-139, 1984. ,