Zhenjiang Hu

Available identifiers

zbMath Open hu.zhenjiangMaRDI QIDQ702008

List of research outcomes

Publication	Date of Publication	Type
Contract lenses: Reasoning about bidirectional programs via calculation	2023-12-11	Paper
Constructing format-preserving printing from syntax-directed definitions	2022-10-28	Paper
A lazy desugaring system for evaluating programs with sugars	2022-08-10	Paper
Generic recursive lens combinators and their calculation laws	2022-04-07	Paper
Fregel: a functional domain-specific language for vertex-centric large-scale graph processing	2022-03-17	Paper
An efficient composition of bidirectional programs by memoization and lazy update	2021-07-06	Paper
Principles and practice of bidirectional programming in BiGUL	2019-02-15	Paper
Optimizing declarative parallel distributed graph processing by using constraint solvers	2018-07-09	Paper
Tupling calculation eliminates multiple data traversals	2017-08-21	Paper
Deriving structural hylomorphisms from recursive definitions	2016-09-01	Paper
Make it practical	2015-09-11	Paper
A Clear Picture of Lens Laws	2015-08-27	Paper
The third homomorphism theorem on trees	2015-07-03	Paper
Iterative-free program analysis	2015-07-02	Paper
Structural recursion for querying ordered graphs	2015-03-30	Paper
Combining syntactic and semantic bidirectionalization	2015-03-05	Paper
Bidirectionalizing graph transformations	2015-03-05	Paper
Bidirectionalization transformation based on automatic derivation of view complement functions	2014-07-21	Paper
Enhancing semantic bidirectionalization via shape bidirectionalizer plug-ins	2014-02-27	Paper
Manipulating accumulative functions by swapping call-time and return-time computations	2014-02-27	Paper
Filter-embedding semiring fusion for programming with MapReduce	2013-03-22	Paper
Marker-Directed Optimization of UnCAL Graph Transformations	2013-03-13	Paper
Generate, Test, and Aggregate	2012-06-22	Paper
Program Calculation in Coq	2011-01-21	Paper
Gradual Refinement	2010-07-26	Paper
A Grammar-Based Approach to Invertible Programs	2010-05-04	Paper
A programmable editor for developing structured documents based on bidirectional transformations	2009-08-04	Paper
Deterministic second-order patterns	2009-07-09	Paper
Swapping Arguments and Results of Recursive Functions	2009-04-02	Paper
A compositional framework for developing parallel programs on two-dimensional arrays	2007-11-14	Paper
Theoretical Aspects of Computing – ICTAC 2005	2006-11-01	Paper
Logic Based Program Synthesis and Transformation	2005-12-27	Paper
Logic Based Program Synthesis and Transformation	2005-12-27	Paper
Advances in Neural Networks – ISNN 2005	2005-11-23	Paper
Mathematics of Program Construction	2005-08-26	Paper
Euro-Par 2004 Parallel Processing	2005-08-23	Paper
Programming Languages and Systems	2005-08-17	Paper
Programming Languages and Systems	2005-08-17	Paper
A new parallel skeleton for general accumulative computations	2005-01-17	Paper
https://portal.mardi4nfdi.de/entity/Q4738348	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4445768	2004-02-02	Paper
https://portal.mardi4nfdi.de/entity/Q4440326	2003-12-16	Paper
https://portal.mardi4nfdi.de/entity/Q4420695	2003-08-18	Paper
https://portal.mardi4nfdi.de/entity/Q4413058	2003-07-17	Paper
https://portal.mardi4nfdi.de/entity/Q2722049	2001-07-11	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Zhenjiang Hu