Skip to main content

2 Result(s)

within Computer Science Remove this filter Logics and Meanings of Programs Remove this filter Operating Systems Remove this filter **njiang Hu Remove this filter Conference Paper Remove this filter

and

  1. No Access

    Chapter and Conference Paper

    PType System: A Featherweight Parallelizability Detector

    Parallel programming is becoming an important cornerstone of general computing. In addition, type systems have significant impact on program analysis. In this paper, we demonstrate an automated type-based syst...

    Dana N. Xu, Siau-Cheng Khoo, Zhenjiang Hu in Programming Languages and Systems (2004)

  2. No Access

    Chapter and Conference Paper

    An Algebraic Approach to Bi-directional Updating

    In many occasions would one encounter the task of maintaining the consistency of two pieces of structured data that are related by some transform — synchronising bookmarks in different web browsers, the source...

    Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi in Programming Languages and Systems (2004)