A new method for compiling schizophrenic synchronous programs

Synchronous programming languages have proved to be advantageous for designing software and hardware for embedded systems. Despite their clear semantics, their compilation is remarkably difficult: In particular, one has to take care of potential schizophrenia problems. Although these problems are correctly translated with existing compilers, there is still a need for clean algorithms. In this paper, we present the first solution to eliminate schizophrenia problems by program transformations. These transformations are used for compilation, but also for increasing the readability of programs. Keywords Synchronous Languages, Reactive Systems, Code Generation.

• Type: Conference
• Year: 2001
• Where: CASES
• Authors: K. Schneider, M. Wenz
• Keywords: CASES 2001, Potential Schizophrenia Problems, Schizophrenia Problems, Synchronous Programming Languages, System Software