146 search results - page 30 / 30 » Monotonic Abstraction for Programs with Dynamic Memory Heaps |
COMPUTER
2002
13 years 5 months ago
2002
tail defines the level of abstraction used to implement the model's components. A highly detailed model will faithfully simulate all aspects of machine operation, whether or n...