Matches in SemOpenAlex for { <https://semopenalex.org/work/W2123364143> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2123364143 abstract "This paper presents an application of partial evaluation (program specialization) techniques to concurrent programs. The language chosen for this investigation is a very simple CSP-like language. A standard binding-time analysis for imperative languages is extended in order to deal with the basic concurrent constructs (synchronous communication and nondeterministic choice). Based on the binding-time annotations, a specialization transformation is defined and proved correct. In order to maintain a simple and clear presentation, the specialization algorithm addresses only the data transfer component of the communication; partial evaluation, the way it is defined here, always generates residual synchronizations. However, a simple approximate analysis for detecting and removing redundant synchronizations from the residual program (i.e. synchronizations whose removal does not increase the nondeterminism of a program) can be performed. The paper also addresses pragmatic concerns such as improving the binding-time analysis, controlling loop unrolling and the consequences of lifting nondeterminism from run-time to specialization-time. Finally, the power of the newly developed technique is shown in several examples." @default.
- W2123364143 created "2016-06-24" @default.
- W2123364143 creator A5022086769 @default.
- W2123364143 creator A5046367201 @default.
- W2123364143 date "1997-12-01" @default.
- W2123364143 modified "2023-10-18" @default.
- W2123364143 title "Partial-evaluation techniques for concurrent programs" @default.
- W2123364143 cites W1582532526 @default.
- W2123364143 cites W1967235059 @default.
- W2123364143 cites W1971710354 @default.
- W2123364143 cites W1973312887 @default.
- W2123364143 cites W1996856267 @default.
- W2123364143 cites W2015888335 @default.
- W2123364143 cites W2024748881 @default.
- W2123364143 cites W2035256749 @default.
- W2123364143 cites W2036601332 @default.
- W2123364143 cites W2055341574 @default.
- W2123364143 cites W2058958439 @default.
- W2123364143 cites W2070047551 @default.
- W2123364143 cites W2106861521 @default.
- W2123364143 cites W2109419963 @default.
- W2123364143 cites W2151030513 @default.
- W2123364143 cites W30806071 @default.
- W2123364143 cites W4211008702 @default.
- W2123364143 cites W4231409327 @default.
- W2123364143 cites W4234924236 @default.
- W2123364143 doi "https://doi.org/10.1145/258993.259002" @default.
- W2123364143 hasPublicationYear "1997" @default.
- W2123364143 type Work @default.
- W2123364143 sameAs 2123364143 @default.
- W2123364143 citedByCount "14" @default.
- W2123364143 countsByYear W21233641432012 @default.
- W2123364143 countsByYear W21233641432014 @default.
- W2123364143 countsByYear W21233641432018 @default.
- W2123364143 crossrefType "proceedings-article" @default.
- W2123364143 hasAuthorship W2123364143A5022086769 @default.
- W2123364143 hasAuthorship W2123364143A5046367201 @default.
- W2123364143 hasBestOaLocation W21233641431 @default.
- W2123364143 hasConcept C111472728 @default.
- W2123364143 hasConcept C11413529 @default.
- W2123364143 hasConcept C120314980 @default.
- W2123364143 hasConcept C138885662 @default.
- W2123364143 hasConcept C155512373 @default.
- W2123364143 hasConcept C169590947 @default.
- W2123364143 hasConcept C173608175 @default.
- W2123364143 hasConcept C176181172 @default.
- W2123364143 hasConcept C195701839 @default.
- W2123364143 hasConcept C199360897 @default.
- W2123364143 hasConcept C2778361913 @default.
- W2123364143 hasConcept C2780586882 @default.
- W2123364143 hasConcept C41008148 @default.
- W2123364143 hasConcept C76970557 @default.
- W2123364143 hasConcept C80444323 @default.
- W2123364143 hasConcept C98183937 @default.
- W2123364143 hasConceptScore W2123364143C111472728 @default.
- W2123364143 hasConceptScore W2123364143C11413529 @default.
- W2123364143 hasConceptScore W2123364143C120314980 @default.
- W2123364143 hasConceptScore W2123364143C138885662 @default.
- W2123364143 hasConceptScore W2123364143C155512373 @default.
- W2123364143 hasConceptScore W2123364143C169590947 @default.
- W2123364143 hasConceptScore W2123364143C173608175 @default.
- W2123364143 hasConceptScore W2123364143C176181172 @default.
- W2123364143 hasConceptScore W2123364143C195701839 @default.
- W2123364143 hasConceptScore W2123364143C199360897 @default.
- W2123364143 hasConceptScore W2123364143C2778361913 @default.
- W2123364143 hasConceptScore W2123364143C2780586882 @default.
- W2123364143 hasConceptScore W2123364143C41008148 @default.
- W2123364143 hasConceptScore W2123364143C76970557 @default.
- W2123364143 hasConceptScore W2123364143C80444323 @default.
- W2123364143 hasConceptScore W2123364143C98183937 @default.
- W2123364143 hasLocation W21233641431 @default.
- W2123364143 hasOpenAccess W2123364143 @default.
- W2123364143 hasPrimaryLocation W21233641431 @default.
- W2123364143 hasRelatedWork W1573673250 @default.
- W2123364143 hasRelatedWork W1579539730 @default.
- W2123364143 hasRelatedWork W1602413278 @default.
- W2123364143 hasRelatedWork W1847632227 @default.
- W2123364143 hasRelatedWork W2047793074 @default.
- W2123364143 hasRelatedWork W2371501690 @default.
- W2123364143 hasRelatedWork W2561148898 @default.
- W2123364143 hasRelatedWork W2748135301 @default.
- W2123364143 hasRelatedWork W4238571122 @default.
- W2123364143 hasRelatedWork W4251644474 @default.
- W2123364143 isParatext "false" @default.
- W2123364143 isRetracted "false" @default.
- W2123364143 magId "2123364143" @default.
- W2123364143 workType "article" @default.