Skip to main content

New answers tagged

0 votes

Were there mistakes in converting Dijkstra's Algol-60 compiler to Pascal?

Another problem was found by the cppcheck tool analyzing the result of conversion of the Pascal program to C. Going back to the Pascal source, we can see {actual parameter separator:} if ...
Leo B.'s user avatar
  • 20.6k
16 votes

Were there mistakes in converting Dijkstra's Algol-60 compiler to Pascal?

The Pascal transcription of the assembly language code attempts to maintain an invariant: all Pascal variables that represent X1 words, are trimmed to 27 bit. However, there is at least one mistake/...
Leo B.'s user avatar
  • 20.6k

Top 50 recent answers are included