Book Chapter10.1007/978-3-7091-4009-3_8

Compiler Correctness and Input/Output

Paul Curzon-1993-01-01-Dependable computing and fault-tolerant systems

3

Chat with Paper

AI Agents for this Paper

No abstract available for this paper.

Keywords

CorrectnessCompilerProgramming languageComputer scienceOracleInterpreterSemantics (computer science)Theoretical computer science

Chat

Click to start Chat