User loginNavigation |
archives"Proof-Directed Debugging" RevisitedEDUCATIONAL PEARL: ‘Proof-directed debugging’ revisited for a first-order version. Kwangkeun Yi. JFP. 16(6):663-670.
The problem is regular expression matching: checking whether a string S belongs to the language specified by the regular expression r. By Ehud Lamm at 2006-11-03 11:32 | Functional | Teaching & Learning | 3 comments | other blogs | 8852 reads
|
Browse archivesActive forum topics |
Recent comments
16 weeks 1 day ago
16 weeks 1 day ago
16 weeks 1 day ago
38 weeks 2 days ago
42 weeks 4 days ago
44 weeks 1 day ago
44 weeks 1 day ago
46 weeks 6 days ago
51 weeks 3 days ago
51 weeks 3 days ago