Towards A Truly Concurrent Model for Processes Sharing Resources
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Hi-index | 0.00 |
Traditional specifications abstract from features of low-level computing environment. It is the responsibility of compilers to make the final implementation codes satisfying low-level environment constraints, in addition the compiler shall guarantee that the behavior of the low-level codes preserve what a high-level program specifies. In this paper we provide a method for building up compiler specifications by program models with resource constraints, so that the correctness of compilation processes can be verified. We demonstrate how to use this method by two resource problems, the resource allocation problem and the memory-access-conflict problem. Beyond that, our method also offers a systematic way for generating optimized compilers.