Back to Search
Start Over
Software synthesis of process-based concurrent programs
- Source :
- DAC
- Publication Year :
- 1998
- Publisher :
- ACM Press, 1998.
-
Abstract
- We present a Petri net theoretic approach to the software synthesis problem that can synthesize ordinary C programs from process-based concurrent specifications without the need for a run-time multi-threading environment. The synthesized C programs can be readily retargeted to different processors using available optimizing C compilers. Our compiler can also generate sequential Java programs as output, which can also be readily mapped to a target processor without the need for a multi-threading environment. Initial results demonstrate significant potentials for improvements over current run-time solutions.
- Subjects :
- Java
Computer science
Programming language
business.industry
ComputerApplications_COMPUTERSINOTHERSYSTEMS
Communicating sequential processes
Petri net
computer.software_genre
Application software
Embedded software
Embedded system
Synchronization (computer science)
Concurrent computing
Compiler
business
computer
computer.programming_language
Subjects
Details
- Database :
- OpenAIRE
- Journal :
- Proceedings of the 35th annual conference on Design automation conference - DAC '98
- Accession number :
- edsair.doi...........f2ea1345bfe113706f6224ead065c843