Developing a Translator from C Programs to Data Flow Graphs Using RAISE

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    412 Downloads (Pure)


    Describes how a translator from a subset of C to data flow graphs has been formally developed using the RAISE (Rigorous Approach to Industrial Software Engineering) method and tools. In contrast to many development examples described in the literature, this development is not a case study, but a real one, and it covers all development phases, including the code-generation phase. The translator is now one of the components of the LYCOS (LYngby CO-Synthesis) system, which is a software/hardware co-synthesis system under development at the Technical University of Denmark. The translator, together with the other components of LYCOS, provides a means for moving parts of C programs to dedicated hardware, thereby obtaining better performance. The translator was refined in steps, starting with an abstract specification and ending with a concrete specification from which C++ code was then automatically generated by the RAISE tools. In addition to illustrating the general methodology of RAISE, the paper also contributes with a specific method for refining set comprehensions
    Original languageEnglish
    Title of host publicationProceedings of COMPASS'96
    Publication date1996
    ISBN (Print)0-7803-3390-X
    Publication statusPublished - 1996
    EventCOMPASS'96 - Gaithersburg, USA
    Duration: 1 Jan 1996 → …


    CityGaithersburg, USA
    Period01/01/1996 → …

    Bibliographical note

    Copyright: 1996 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE

    Fingerprint Dive into the research topics of 'Developing a Translator from C Programs to Data Flow Graphs Using RAISE'. Together they form a unique fingerprint.

    Cite this