ACM2016-Marnila

Day 1

我們搭乘華航下午定期前往馬尼拉的航班,不過要登機時,櫃檯刷機票條碼的電腦故障,改以人工登記,因此延誤了非常的久才讓所有乘客上機。機上提供了雞肉麵,我覺得味道還可以,不過學長不是很喜歡就沒吃了。

TPA to MNA

as-if-rule

THE AS-IF RULE

在不影響程式的觀測結果(observable behavior)下,允許程式碼的轉譯
Allows any and all code transformations that do not change the observable behavior of the program

Observable Behavior

C++編譯器解析程式碼時,允許任意改變(優化)轉譯結果,但仍要保持下方性質:
The C++ compiler is permitted to perform any changes to the program as long as the following remains true