Language-Integrated Updatable Views (Extended version)

Incremental Relational Lenses

Lenses are a popular approach to bidirectional transformations, a generalisation of the view update problem in databases, in which we wish to make changes to source tables to effect a desired change on a view. However, perhaps surprisingly, lenses have seldom actually been used to implement updatable views in databases. Bohannon, Pierce and Vaughan proposed an approach to updatable views called relational lenses, but to the best of our knowledge this proposal has not been implemented or evaluated to date. We propose incremental relational lenses, that equip relational lenses with change-propag…

Dynamic Choreographies: Theory And Implementation

Programming distributed applications free from communication deadlocks and race conditions is complex. Preserving these properties when applications are updated at runtime is even harder. We present a choreographic approach for programming updatable, distributed applications. We define a choreography language, called Dynamic Interaction-Oriented Choreography (AIOC), that allows the programmer to specify, from a global viewpoint, which parts of the application can be updated. At runtime, these parts may be replaced by new AIOC fragments from outside the application. AIOC programs are compiled, …

HyperPro用于CLP的集成文档环境

HyperPro An integrated documentation environment for CLP

本文的目的是介绍HyperPro系统的一些功能。HyperPro是一个超文本工具，允许开发约束逻辑编程（CLP）及其文档。文本编辑部分并不是什么新东西，它基于自由软件Thot。HyperPro程序是以报告样式编写的Thot文档。该工具是为CLP设计的，但它也可以适应其他编程范式。Thot提供了导航和编辑工具以及同步的静态文档视图。HyperPro具有新的功能，如文档导出，动态视图（投影），索引和版本管理。投影是一种根据特定标准提取和导出相关代码、程序或文档的机制。索引对于查找文档中关系的引用和出现是有用的，即，其中找到其谓词定义，并且其中在其他程序或文档版本中使用关系，并且将超文本链接翻译成论文参考。它仍然缺乏进口设施。