Sciweavers

1392 search results - page 20 / 279
» A Calculus for Dynamic Linking
Sort
View
142
Voted
ICFP
1996
ACM
15 years 11 months ago
Static and Dynamic Partitioning of Pointers as Links and Threads
David S. Wise, Joshua Walgenbach
78
Voted
BMCBI
2008
58views more  BMCBI 2008»
15 years 6 months ago
Bluejay 1.0: genome browsing and comparison with rich customization provision and dynamic resource linking
Jung Soh, Paul M. K. Gordon, Morgan L. Taschuk, An...
BIRTHDAY
2005
Springer
15 years 8 months ago
A Mobility Calculus with Local and Dependent Types
Abstract. We introduce an ambient-based calculus that combines ambient mobility with process mobility, uses group names to collect ambients with homologous features, and exploits c...
Mario Coppo, Federico Cozzi, Mariangiola Dezani-Ci...