output
20032009
most citedTesting bibliometric indicators by their prediction of scientists promotions

93 citations

researchers with a paper here
collaborating institutions
Showing cs.PLShow all

2 papers · 1 filter

cs.PL2009★ 2 cited

Encapsulation and Dynamic Modularity in the Pi-Calculus

Daniel Hirschkoff, Aurélien Pardon, Tom Hirschowitz +2

We describe a process calculus featuring high level constructs for component-oriented programming in a distributed setting. We propose an extension of the higher-order pi-calculus…

cs.PL2007

Elementary transformation analysis for Array-OL

Paul Feautrier

Array-OL is a high-level specification language dedicated to the definition of intensive signal processing applications. Several tools exist for implementing an Array-OL specificat…