Control-flow analysis of higher-order languages of taming lambda
Control-flow analysis of higher-order languages of taming lambda
Two-level functional languages
Two-level functional languages
A semantics for ML concurrency primitives
POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Partial evaluation and automatic program generation
Partial evaluation and automatic program generation
A general approach for run-time specialization and its application to C
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Systematic realisation of control flow analyses for CML
ICFP '97 Proceedings of the second ACM SIGPLAN international conference on Functional programming
Self-applicable partial evaluation for the pi-calculus
PEPM '97 Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Partial-evaluation techniques for concurrent programs
PEPM '97 Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Scaling up partial evaluation for optimizing the Sun commercial RPC protocol
PEPM '97 Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Concurrent programming in ML
Principles of Program Analysis
Principles of Program Analysis
Communication Topology Analysis for Concurrent Programs
Proceedings of the 7th International SPIN Workshop on SPIN Model Checking and Software Verification
Partial Evaluation Scheme for Concurrent Languages and Its Correctness
Euro-Par '96 Proceedings of the Second International Euro-Par Conference on Parallel Processing - Volume I
Control Flow Analysis for the pi-calculus
CONCUR '98 Proceedings of the 9th International Conference on Concurrency Theory
| Hi-index | 0.00 |
In this article, we introduce a partial evaluator for a concurrent functional language with synchronous communications over channels, dynamic process and channel creations, and the ability to communicate channel names. Partial evaluation executes at compile-time the communications of a program for which the emitter, the receptor and the message contents are statically known. The partial evaluator and the static analyses used to guide it were implemented and we show the results of the specialization of concurrent programs for particular execution contexts, corresponding to different assumptions on the network or on the messages.