Paper Info
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.
Year
DOI
Venue
2004
10.1109/SEFM.2004.38
SEFM
Keywords
Field
DocType
low-level computing environment,high-level program,resource allocation problem,pre-compiler specification,memory-access-conflict problem,low-level environment constraint,resource models,resource problem,optimized compiler,software co-design language,low-level code,resource constraint,compiler specification,refinement,specification,formal specification,resource allocation,satisfiability,programming model,optimizing compiler
Co-design,Programming language,Computer science,Compiler correctness,Correctness,Compiler,Formal specification,Resource allocation,Hardware software
Conference
ISBN
Citations 
PageRank 
0-7695-2222-X
1
0.38
References 
Authors
0
2
Name
Order
Citations
PageRank
Naiyong Jin1958.40
He Jifeng21771190.43