U E D R , A S I H C RSS

Compiler Theory/Man Boy Test

Man Boy Test

~cpp
   begin real procedure A(k, x1, x2, x3, x4, x5);
     value k; integer k;
     begin real procedure B;
       begin k := k - 1;
             B := A := A(k, B, x1, x2, x3, x4)
       end;
       if k <= 0 then A := x4 + x5 else B
     end;
   end;
   outreal(A(10, 1, -1, -1, 1, 0));
Donald Knuth κ°€ Algol 60의 κ΅¬ν˜„ 정도λ₯Ό νŒλ³€ν•˜κΈ°μœ„ν•΄μ„œ λ§Œλ“  ν”„λ‘œκ·Έλž¨. ν…ŒμŠ€νŠΈμ˜ λͺ©μ μ€ μ˜¬λ°”λ΄κ²Œ κ΅¬ν˜„λœ scoping rule, call-by-name의 κ΅¬ν˜„ 정도λ₯Ό νŒλ³„ν•΄μ„œ boys(algol 60 κ΅¬ν˜„λ¬Ό)λ“€μ€‘μ—μ„œ men (μ“Έλ§Œν•œ λ†ˆ)을 κ°€λ €λ‚΄λŠ” μš©λ„λ‘œ κ³ μ•ˆλ˜μ—ˆμŠ΅λ‹ˆλ‹€.

----
CompilerTheory
Valid XHTML 1.0! Valid CSS! powered by MoniWiki
last modified 2021-02-07 05:22:58
Processing time 0.0082 sec