ECOOP 2010 - Object-Oriented Programming, 24th European Conference, Maribor, Slovenia, June 21-25, 2010. Proceedings
ECOOP 2010 - Object-Oriented Programming, 24th European Conference, Maribor, Slovenia, June 21-25, 2010. Proceedings
复制标题
ECOOP 2010 - 面向对象编程，第 24 届欧洲会议，斯洛文尼亚马里博尔，2010 年 6 月 21-25 日。会议记录
DOI：
10.1007/978-3-642-14107-2
复制
发表时间：
2010
影响因子：
2.9
通讯作者：
T. D'Hondt
中科院分区：
文献类型：
--
作者：
T. D'Hondt
主注1.-代码根.-编程环境和工具.-在面向对象的软件中检测缺失的方法调用.-调试模型-使用动态污染的转换失败.-自动从电子表格中提取类图.-编程语言的理论基础.-将动态类型添加到C.-Essential AOP：A演算.-Java的本质.-形式化方法.-用分离逻辑验证可执行的面向对象的规范.-验证泛型和委托.-用于分析脚本语言的最近类型.-Java中的并发模型.-并发Java代码的正确重构.-用Java编程协调行为.-JCoBox：将活动对象泛化为并发组件。-特别会议：经验方法。-怀疑静态类型系统对单个开发人员项目中编程任务的积极影响--经验研究。-类型系统。-以数据为中心同步的类型系统。-Java中类型安全的事件会话。-唯一性和借用能力。-主旨2.-秘密谷。-语言设计和实现。-在NewSpeech中嵌入语言而不中断工具。-NewSpeech中的模块作为对象。-内联缓存满足加速。-并发抽象。-多核平台的自我复制对象。-关于在x86上实现并发抽象。-并发抽象谓词。-经验。-Java程序中重载的使用。-依靠可执行规范。-使用合金进行基于契约的数据结构修复。
Keynote 1.- Code Roots.- Programming Environments and Tools.- Detecting Missing Method Calls in Object-Oriented Software.- Debugging Model-Transformation Failures Using Dynamic Tainting.- Automatically Extracting Class Diagrams from Spreadsheets.- Theoretical Foundations of Programming Languages.- Adding Dynamic Types to C .- Essential AOP: The A Calculus.- The Essence of JavaScript.- Formal Methods.- Verifying Executable Object-Oriented Specifications with Separation Logic.- Verifying Generics and Delegates.- Recency Types for Analyzing Scripting Languages.- Concurrency Models in Java.- Correct Refactoring of Concurrent Java Code.- Programming Coordinated Behavior in Java.- JCoBox: Generalizing Active Objects to Concurrent Components.- Special Session: Empirical Methods.- Doubts about the Positive Impact of Static Type Systems on Programming Tasks in Single Developer Projects - An Empirical Study.- Type Systems.- A Type System for Data-Centric Synchronization.- Type-Safe Eventful Sessions in Java.- Capabilities for Uniqueness and Borrowing.- Keynote 2.- Secret Valley.- Language Design and Implementation.- Embedding Languages without Breaking Tools.- Modules as Objects in Newspeak.- Inline Caching Meets Quickening.- Concurrency Abstractions.- Self-Replicating Objects for Multicore Platforms.- Reasoning about the Implementation of Concurrency Abstractions on x86-TSO.- Concurrent Abstract Predicates.- Experiences.- The Use of Overloading in Java Programs.- Falling Back on Executable Specifications.- Contract-Based Data Structure Repair Using Alloy.