'Proof-directed debugging' revisited for a first-order version

Journal of Functional Programming

Volumn 16, Issue 6, 2006, Pages 663-670

  Yi, Kwangkeun ^a  

^a Seoul National University   (South Korea)

Author keywords

[No Author keywords available]

Indexed keywords

CONTINUATION-PASSING STYLE; DEVELOPING PROJECTS; FIRST-ORDER; HIGHER-ORDER FUNCTIONS; INTRODUCTORY PROGRAMMING COURSE; STATE MACHINE;

FUNCTIONAL PROGRAMMING;

PROGRAM DEBUGGING;

EID: 33750265254     PISSN: 09567968     EISSN: 14697653     Source Type: Journal    
DOI: 10.1017/S0956796806006149     Document Type: Article

References (5)

1. Aho, A. V., Sethi, R. & Ullman, J. D. (1986) Compilera: Principles, techniques, and tools. Addison-Wesley.
2. Berry, G. & Sethi, R. (1986) From regular expressions to deterministic automata. Theor. Comput. Sci. 48(1), 117-126.
3. Brzozowski, J. A. (1964) Derivatives of regular expressions. J. ACM, 11(4), 481-494.
4. Harper, R. (1999) Proof-directed debugging. J. Funct. Program. 9(4), 463-469.
5. Wand, M. (1980) Continuation-based program transformation strategies. J. ACM, 27(1), 164-180.