Skip to main content

1 Result(s)

within **njiang Hu Remove this filter Artificial Intelligence Remove this filter Discrete Mathematics in Computer Science Remove this filter Logics and Meanings of Programs Remove this filter Programming Techniques Remove this filter

and

  1. No Access

    Chapter and Conference Paper

    Marker-Directed Optimization of UnCAL Graph Transformations

    Buneman et al. proposed a graph algebra called UnCAL (Unstructured CALculus) for compositional graph transformations based on structural recursion, and we have recently applied to model transformations. The co...

    Soichiro Hidaka, Zhenjiang Hu… in Logic-Based Program Synthesis and Transfor… (2012)