Book Chapter10.1007/978-3-642-31365-3_36

Correctness of Program Transformations as a Termination Problem

Conrad Rau,David Sabel,Manfred Schmidt-Schauß-2012-01-01-Lecture notes in computer science

9

Chat with Paper

AI Agents for this Paper

No abstract available for this paper.

Keywords

RewritingCorrectnessComputer scienceProgramming languageTerm (time)Reduction (mathematics)Transitive relationTheoretical computer science

Chat

Click to start Chat