编程语言的历史表明，人们一直在寻找新的组合机制，这种机制更适合将日益复杂的软件系统构建成可以独立开发和重用的模块。众所周知的例子有过程调用、对象聚合、函数组合、继承、委派、混合、方面等等。组合机制可以在对象或组件的行为或交互级别上处理各种形式的组合，例如通过设计模式、契约或显式协议。它们可以是通用的，但也有多种领域特定的成分，适用于某些类别的应用。
然而，大多数语言采用一组非常小且固定的组合机制，通常具有显式表示法和预定义的语义。如果一种语言没有提供任何具有所需组合行为的机制，程序员需要在应用程序中编写变通方法，这通常会对软件的质量产生负面影响。或者，他们可以通过宏、库、框架或语言扩展引入新的组合机制，如果应用程序没有与应用程序很好地集成，这也会对应用程序产生负面影响。
本研讨会旨在通过探讨语言不应提供有限的固定组合机制，而应允许灵活性、多种组合、特定领域和定制组合、，或各种程序工件的可编程组合。
将组织者邮寄至freeco@ewi_utwente_nl（用点替换下划线）。
呼吁参与
“自由组合”
在本次研讨会中，我们希望研究“免费”的合成技术，因为它们不受特定语言或系统设计的固定和限制。相反，我们打算探讨这样一个概念，即语言不应提供有限的固定组合机制，而应允许灵活性、多种组合、特定领域和定制组合，或各种程序工件的可编程组合。
编程语言的历史表明，人们一直在寻找新的组合机制，以找到更好的方法，将日益复杂的软件系统构建成可以独立开发和重用的模块。组合机制可以解决模块之间的各种类型的依赖关系，例如继承、委派、聚合、设计模式、契约、显式协议或特定于域的组合。
然而，大多数语言采用一组固定的组合机制，通常带有显式表示法和预定义的语义。如果一种语言没有提供任何具有所需合成行为的机制，程序员可能需要编写变通方法或通过宏、库、框架或语言扩展引入新的合成机制。
本次研讨会旨在通过探讨当今语言及其有限的组合机制是不够的这一概念来刺激编程语言和软件开发方面的研究。相反，我们应该允许具有更大灵活性的组合，采用多种组合、特定于域的定制组合或各种程序工件的可编程组合。
FREECO是一个为期一天的研讨会，与SPLASH位于图森。计划的研讨会议程将公认的论文和讨论交织在一起，以激励参与者。我们打算征集最多5页ACM风格的技术论文。这些论文将由项目委员会进行同行评审。被接受的论文将在研讨会的会议记录中发表。会议将鼓励那些不被接受发表的论文的作者将论文缩短为立场声明（见下文）。
我们将允许在没有接受甚至提交论文的情况下参与研讨会，以激发对研讨会主题的兴趣。鼓励研讨会的所有参与者制定一份最多一页的ACM风格的立场声明。这些立场声明不会在研讨会记录中进行审查和发布，但会在研讨会之前在研讨会主页上发布。所有被接受的论文也将提前发布在研讨会主页上。鼓励参与者在研讨会之前阅读所有立场声明和接受的论文。
被认可的技术和立场论文的作者需要准备一份工作报告。这些作者可以选择传统的研究报告，也可以选择以作家研讨会的方式讨论他们的工作。
传统的演示是30分钟，然后是15分钟的问答环节。
作者研讨会的目的是提高论文质量，以便将来作为会议论文提交扩展版本。我们会跟进这种格式，简而言之：
-
作者将以最多三张幻灯片的闪电演讲形式展示他们的论文。
-
所有选择作者研讨会形式的作者都需要阅读和准备所有作者研讨会的其他论文；其他参与者被要求阅读并准备至少一篇这样的论文（但我们强烈鼓励他们阅读所有论文）。
-
一两位熟悉论文的参与者从他们的角度对其进行了总结。在全体讨论中，应该确定文件的要点。
-
参与者讨论他们喜欢什么，即论文的优点是什么。
-
与会者讨论了改进文件或方法的建设性建议。
-
作者可以向其他参与者提问，以澄清他们的陈述。
-
对包含作者以这种形式发表的论文的讨论将分配45分钟的时间段。
本次研讨会的主题示例包括但不限于：
-
灵活、可裁剪的组合机制
-
表达多种构图的统一技术
-
灵活且适应性强的构图
-
新的合成机理
-
新模块系统
-
模块化&模块化的局限性和能力
-
模块化和可组合性度量
-
工具和案例研究
-
表达/引入领域特定成分的技术
-
泛型构图技术的一般概念/理论
-
使用新的组合机制进行扩展的语言
-
组合组合机制时的冲突检测和/或解决
-
表示通用或灵活组合机制的形式化模型
-
支持多种组合机构的设计技术
我们接受两种类型的论文：
所有纸张必须按照ACM SIG程序样式。论文应以PDF或Postscript格式提交Easy椅子.
联系人电子邮件：弗里科@环境影响指数_乌特温特_国家实验室(用点替换下划线）
面向方面的组合机制，特别是切入点和建议，支持关注点的分离。然而，切入点和建议使得规范和验证更加困难。这次演讲将介绍托勒密，一种融合了面向方面和隐式调用语言的合成机制的语言。这种混合的设计是为了方便规范和验证，同时仍然支持关注点的分离。演讲将解释托勒密的设计如何克服面向方面和隐式调用语言的问题，并解释托勒米是如何处理规范和验证的。
这次演讲代表了与Hridesh Rajan、Mehdi Bagherzadeh（均来自爱荷华州立大学）和Jose Sanchez（来自加州大学洛杉矶分校）的联合工作。
Gary T.Leavens是中佛罗里达大学（UCF）的教授和计算机科学。他于2007年8月加入UCF。此前，他是爱荷华州艾姆斯市爱荷华州立大学的计算机科学教授，1989年在麻省理工学院获得博士学位后加入该校。在麻省理工学院（MIT）攻读研究生之前，他曾在科罗拉多州丹佛市贝尔电话实验室（Bell Telephone Laboratories）担任技术人员。
Leavens教授是Springer杂志Transactions on Aspect-Oriented Software Development的联合主编、journal of Object Technology的副主编以及Software and Systems Modeling的助理编辑。他是2012年ACM SPLASH会议的总主席，也是2009年ACM OOPSLA会议的研究项目委员会主席。他还是两个IFIP工作组的成员。
随着被称为超级计算机的高性能计算（HPC）平台的硬件和中间件朝着exa-scale计算时代变得越来越复杂，对HPC编程的软件工程支持变得越来越重要。当然，软件组合应该是这个领域的一项关键技术，但它似乎没有被广泛接受或应用，因为组合不是免费的。尽管HPC程序复杂性的一个主要原因是各种性能问题，但程序员必须为软件组合支付额外的性能惩罚，这是为了简化复杂的代码以获得更好的性能。在这次演讲中，我将展示HPC中的代码复杂性示例，并讨论我们需要开发什么来克服软件组合的这个问题。
千叶茂是东京大学的教授。在开始目前的职位之前，他曾于2001年至2012年担任东京理工大学助理、副教授，后来成为全职教授。2001年之前，他是筑波大学的助理教授。他于1996年获得东京大学计算机科学博士学位。他的研究兴趣是编程语言设计，尤其是面向对象和/或面向方面的编程语言。他还对各种系统软件感兴趣，包括操作系统、分布式系统和web应用程序框架。他曾担任多个著名会议和研讨会的项目委员会成员或组织者。他还是Javassist的主要开发人员，Javassist是一个在工业界和学术界广泛使用的Java字节码工程工具包。
