Sử dụng cú pháp điều khiển (giống kiểm tra kiểu) Sinh mã các nút biểu thức hoặc nút lệnh dựa vào mã của các nút con Cú pháp điều khiển – Mô tả chính xác chương trình dịch cần làm gì – Có thể cài đặt dễ dàng – Có thể chứng minh tính đúng của chương trình dịch | Nhập môn Chương trình dịch Học kì II 2006-2007 Bài 14 Sinh mã trung gian tiếp Sinh mã trung gian Sử dụng cú pháp điều khiển giống kiểm tra kiểu Sinh mã các nút biểu thức hoặc nút lệnh dựa vào mã của các nút con Cú pháp điều khiển - Mô tả chính xác chương trình dịch cần làm gì - Có thể cài đặt dễ dàng - Có thể chứng minh tính đúng của chương trình dịch Sinh mã lệnh if if e s CJUMP LABEL t s LABEL f e NAME t NAME f CJUMP e t f t s f if e s SEQ CJUMP e NAME t NAME f LABEL t s LABEL f