第三 LDTA@ETAPS(预计到达时间) 2003年:波兰华沙
巴雷特·布莱恩特 , 若昂·萨莱瓦 :
语言描述、工具和应用研讨会, LDTA@ETAPS(预计到达时间) 2003年4月12日至13日,波兰华沙。 理论计算机科学电子笔记 82(3), 爱思维尔 2003 巴雷特·布莱恩特 , 若昂·萨拉瓦 :
前言。 461-462 扬·科特 , 拉尔夫·拉梅尔 :
数据类型转换框架。 463-482 汤姆·曼斯 , 谢尔盖·德梅耶 , 巴特·杜波依斯 , 汉斯·斯坦滕 , 彼得·范·戈尔 :
重构:当前研究和未来趋势。 483-499 亚历克谢·亚。 卡利诺夫 , 亚历山大·科萨切夫 , 亚历山大·彼得伦科 , 米哈伊尔·波西普金 , 弗拉基米尔·希什科夫 :
Coverage-driven自动编译器测试套件生成。 500-514 肯特·李 :
正式验证的寄存器分配框架。 515-531 伊娃·马格努森 , 戈雷尔·赫丁 :
循环参考属性文法——它们的评价和应用。 532-554 埃里克·范·威克 :
方面作为模块化语言扩展。 555-574 马克·范登·布兰德 , 史蒂文·克鲁塞纳 , 莱昂·穆南 , 尤尔根·J·文朱 :
广义解析和术语重写:语义驱动的消歧。 575-591 克劳斯·布拉布兰德 , 迈克尔·施瓦茨巴赫 , Mads Vanggaard公司 :
metafront系统:可扩展的解析和转换。 592-611 Gennaro Costagliola公司 , 文森佐·杜夫米亚 , 菲洛梅娜·费鲁奇 , 卡米娜·格拉维诺 :
为可视化语言开发XPG:定义、分析和开发。 612-627 Jean-Michel Hufflen牛仔裤 :
混合两种书目风格的语言。 628-642 马里索尔·桑切斯 , 佩德罗·克莱门特 , 胡安·曼努埃尔·穆里略 , 胡安·埃尔南德斯·努涅斯 :
CoordMaude:简化合作环境的正式协调规范。 643-658