Skip to main content

2 Result(s)

within Chapter Remove this filter Hsiang-Shang Ko Remove this filter Logics and Meanings of Programs Remove this filter

and

  1. No Access

    Chapter

    Principles and Practice of Bidirectional Programming in BiGUL

    Putback-based bidirectional programming allows the programmer to write only one backward transformation, from which the unique corresponding forward transformation is derived for free. A key distinguishing fea...

    Zhenjiang Hu, Hsiang-Shang Ko in Bidirectional Transformations (2018)

  2. No Access

    Chapter and Conference Paper

    Algebra of Programming Using Dependent Types

    Dependent type theory is rich enough to express that a program satisfies an input/output relational specification, but it could be hard to construct the proof term. On the other hand, squiggolists know very we...

    Shin-Cheng Mu, Hsiang-Shang Ko, Patrik Jansson in Mathematics of Program Construction (2008)