规模和价值效应是持续存在的异常现象,对有效市场假说提出了挑战。
In all things, it is necessary to create a system.
模型检查是验证硬件和软件系统正确性的强大工具。
Functions delay binding; data structures induce binding. Moral: Structure data late in the programming process.