DMCA
Software synthesis of process-based concurrent programs (1998)
Cached
Download Links
- [herkules.informatik.tu-chemnitz.de]
- [www.cs.york.ac.uk]
- [www.cecs.uci.edu]
- [www.sigda.org]
- DBLP
Other Repositories/Bibliography
| Venue: | In Proceedings of the Design Automation Conference |
| Citations: | 38 - 1 self |
BibTeX
@INPROCEEDINGS{Lin98softwaresynthesis,
author = {Bill Lin},
title = {Software synthesis of process-based concurrent programs},
booktitle = {In Proceedings of the Design Automation Conference},
year = {1998}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Abstract — We present a Petri net theoretic approach to the software synthesis problem that can synthesize ordinary C programs from processbased concurrent specifications without the need for a run-time multithreading 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 multithreading environment. Initial results demonstrate significant potentials for improvements over current run-time solutions. I.
Keyphrases
software synthesis process-based concurrent program petri net theoretic approach ordinary program initial result software synthesis problem synthesized program concurrent specification significant potential multithreading environment current run-time solution run-time multithreading environment sequential java program different processor target processor
