Cited By
View all- Nilsson HFritzson P(2008)Algorithmic debugging for lazy functional languagesJournal of Functional Programming10.1017/S095679680000109X4:03(337-369)Online publication date: 7-Nov-2008
- Lu LHaddad HOmicini AWainwright R(2005)Use of correctness assertions in declarative diagnosisProceedings of the 2005 ACM symposium on Applied computing10.1145/1066677.1066995(1404-1408)Online publication date: 13-Mar-2005
- Ohta TKinoshita HKimata TMizuno T(2001)A framework of an assertion-based algorithmic debugging for distributed programsProceedings 15th International Conference on Information Networking10.1109/ICOIN.2001.905446(319-324)Online publication date: 2001
- Show More Cited By