Skip to main content

2 Result(s)

within Chapter Remove this filter Hsiang-Shang Ko Remove this filter Programming Techniques Remove this filter

and

  1. No Access

    Chapter and Conference Paper

    Palgol: A High-Level DSL for Vertex-Centric Graph Processing with Remote Data Access

    Pregel is a popular distributed computing model for dealing with large-scale graphs. However, it can be tricky to implement graph algorithms correctly and efficiently in Pregel’s vertex-centric model, especial...

    Yongzhe Zhang, Hsiang-Shang Ko, Zhenjiang Hu in Programming Languages and Systems (2017)

  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)