@inproceedings{86937fa2822941cc86f2f0137fa60922,
title = "Resource models and pre-compiler specification for hardware/software co-design language",
abstract = "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.",
keywords = "Program Models, Refinement, Resource Constraints, Specification",
author = "Jin Naiyong and He Jifeng",
year = "2004",
language = "英语",
isbn = "076952222X",
series = "Proceedings of the Second International Conference on Software Engineering and Formal Methods. SEFM 2004",
pages = "132--141",
editor = "J.R. Cuellar and Z. Liu",
booktitle = "Proceedings of the Second International Conference on Software Engineering and Formal Methods. SEFM 2004",
note = "Proceedings of the Second International Conference on Software Engineering and Formal Methods. SEFM 2004 ; Conference date: 28-09-2004 Through 30-09-2004",
}