TOSCA 2001:意大利乌迪内
玛丽娜·莱尼萨 , 马里诺·米库兰 :
并发理论,高阶语言和类型,TOSCA 2001,意大利乌迪内,2001年11月19-21日。 理论计算机科学电子笔记 62, 爱思维尔 2002 朱塞佩·卡斯塔尼亚 , 米歇尔·布列西 , 西尔维娅·克拉法 :
装箱环境概述。 1-6 弗莱明·尼尔森 , Hanne Riis Nielson公司 , 赫尔穆特·塞德尔 :
立方时间密码分析。 7-23 洛伦佐·贝蒂尼 , 洛科·德·尼古拉 , 罗萨里奥·普格利泽 :
XKlaim和Klava:编写移动代码。 24-37 洛伦佐·贝蒂尼 , 薇薇安娜·波诺 , 贝蒂·文内里 :
朝向面向对象的克莱姆。 38-51 吉安·路易吉·费拉里 , 尤金尼奥·莫吉 , 罗萨里奥·普格利泽 :
全球计算的高阶类型和元编程。 52-68 戴维德·安科纳 , 克里斯多夫·安德森 , 费鲁西奥·达米亚尼 , 索菲亚·德罗索波卢 , 保拉·贾尼尼 , 埃琳娜·祖卡 :
Fickle到Java的保留类型的翻译。 69-82 弗朗科·巴巴内拉 , Mariangiola Dezani-Ciancaglini公司 , 伊万诺·萨尔沃 , 弗拉迪米罗·萨松 :
一种用于安全环境的类型推断算法。 83-101 安东尼奥·布罗吉 , 纳迪娅·布西 , 毛里齐奥·加布里埃利 , 吉安路易吉·扎瓦塔罗 :
共享数据空间协调表达能力的比较分析。 102-115 Furio Honsell先生 , 马里诺·米库兰 , 伊凡·斯卡格内托 :
一阶和高阶抽象句法的语境理论。 116-135 罗伯托·布鲁尼 , 福里奥·霍塞尔 , 玛丽娜·莱尼萨 , 马里诺·米库兰 :
比较逻辑框架和平铺逻辑中的高阶编码。 136-156 法比奥·加杜奇 , 皮耶朱利奥·卡蒂斯 , 乌戈·蒙塔纳里 , 尼科莱塔·萨巴迪尼 , 罗伯特·F·C·沃尔特斯 :
通过Hoare-style过程演算比较cospan-span和tile。 157-176 马里奥·科波奥 , Mariangiola Dezani-Ciancaglini公司 :
移动环境的完全抽象模型。 177-194 朱塞佩·德尔拉·佩纳 , 贝内代托·因特里吉拉 , 恩里科·特隆西 , 玛丽莎·文丘里尼·齐利 :
同步正则表达式。 195-210 恰拉·博迪 , 皮耶保罗·德加诺 , 里卡多·福卡迪 , 罗伯托·戈里埃里 , 法比奥·马蒂内利 :
安全检查技术:无干扰与控制流分析。 211-228 里卡多·福卡迪 , 罗伯托·戈里埃里 , 拉格罗·拉诺特 , 安德烈亚·马吉奥洛·谢蒂尼 , 法比奥·马蒂内利 , 西蒙·蒂尼 , 恩里科·特隆西 :
Web隐私定时攻击的形式化模型。 229-243 阿加瑟·梅塞隆 , 莫妮卡·穆勒堡 , G.米歇尔·平纳 :
在多语言环境中指定和验证反应式系统。 244-256 玛丽娜·莱尼萨 , 马里诺·米库兰 :
前言。 257-258
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)