Publication:3713574

zbMath0587.68015MaRDI QIDQ3713574

Valentin Turchin

Publication date: 1986

zbMATH Keywords

program transformation; driving; equivalence transformation; supercompilation; compiler generators; refal

Mathematics Subject Classification ID

68W30: Symbolic computation and algebraic computation

68Q60: Specification and verification (program logics, model checking, etc.)

68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)

Related Items

Unnamed Item