2篇
您的检索式：作者名="PACHECO Hugo"
|
|
|
题名
|
作者
|
年代
|
出处
|
被引量
|
| 1 | 北京大学附属中学扩建——体育馆和教学北楼显示文摘项目名称:北京大学附属中学体育馆及教学北楼精装修设计工程业主:北京大学附属中学设计单位:Crossboundaries,北京建设地点:北京市海淀区大泥湾中学设计面积:26 000 m2(建筑面积)设计范围:体育馆一期地上一层地下两层,教学北楼地上四层地下一层设计总负责:蓝冰可(Binke Lenhardt), | 无 蓝冰可 董灏 Sidonie Kade Irene Sola 汤佳音 Libny Pacheco Brecht van Acker Maria Francesca Origa 成思 Hugo Rios 陈彦哲 王旭东 王子凌(摄影) 杨超英(摄影) | 2017 | 城市建筑2017，0，16： | 1 |
| 2 | The essence of bidirectional programming显示文摘Bidirectional transformations(BXs), programs with a forward transformation and a backward transformation that maintain consistency between input and output, are routinely written in ways that do not let programmers specify their behavior completely. Several bidirectional programming languages exist to aid programmers in writing BXs with increased maintainability but decreased expressiveness. Such languages allow programmers to write BXs as one program for both directions, which is easier to maintain than separate programs for each direction. However, the maintainability provided by existing bidirectional languages comes at the cost of expressiveness because the ambiguity of synchronization is solved by default strategies which are hidden from programmers. The programmers' inability to influence synchronization strategies has led to the proposal of a vast number of approaches that consider tailor-made synchronization strategies for particular applications.In this paper, we argue that such ambiguity is essential for BX and advocate that the synchronization strategy should not be hidden from programmers but considered from the start. We propose a novel approach to specifying so-called well-behaved bidirectional programs by their backward transformations, capable of expressing all aspects of a BX while retaining maintainability. Soundness of our approach results from a systematic analysis, based on existing mathematical concepts, of the instrumental laws of well-behaved BXs. We show that well-behaved BXs are uniquely determined by their backward transformations and corresponding forward transformations can be obtained for free. | FISCHER Sebastian HU ZhenJiang PACHECO Hugo | 2015 | Science China(Information Sciences)2015，58，5： | 1 |
您所在的机构暂未开通此部分的功能，请联系管理员