Theoretical Computer Science - Images of programming dedicated to the memory of Andrei P. Ershov
Mobile objects in distributed Oz
ACM Transactions on Programming Languages and Systems (TOPLAS)
Hi-index | 0.00 |
Specification for structural synthesis of programs (SSP) contains information needed for introducing concurrency into a synthesized program. We explain how this can be used in a multithreaded computing environment, in particular, in a Java environment. We discuss strategies of coarse-grained multithreaded execution of synthesized programs: composing threads and imposing parallelism on subtasks.