Bx 2015
Bidirectional Transformations

Table of Contents

• Preface
  
  

• Spans of Delta Lenses 1-15
  Michael Johnson, Robert Rosebrugh
• Coalgebraic Aspects of Bidirectional Computation 16-30
  Faris Abou-Saleh, James McKinna, Jeremy Gibbons
• Distributing Commas, and the Monad of Anchored Spans 31-42
  Michael Johnson, Robert Rosebrugh
• BiYacc: Roll Your Parser and Reflective Printer into One (tool paper) 43-50
  Zirun Zhu, Hsiang-Shang Ko, Pedro Martins, João Saraiva, Zhenjiang Hu
• Trace-based Approach to Editability and Correspondence Analysis for Bidirectional Graph Transformations 51-65
  Soichiro Hidaka, Martin Billes, Quang Minh Tran, Kazutaka Matsuda
• Towards a Principle of Least Surprise for Bidirectional Transformations 66-80
  James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens
• A Systematic Approach and Guidelines to Developing a Triple Graph Grammar 81-95
  Anthony Anjorin, Erhan Leblebici, Roland Kluge, Andy Schürr, Perdita Stevens

• Full proceedings