The incrementally modular abstraction hierarchy, which is a general development method based on modern mathematics, is applied to a computer game implemented by using functional reactive programming ...

Interval simulation: Raising the level of abstraction in architectural simulation Abstract: Detailed architectural simulators suffer from a long development cycle and extremely long evaluation times.