Masato Takeichi

Available identifiers

zbMath Open takeichi.masatoMaRDI QIDQ756402

List of research outcomes

Publication	Date of Publication	Type
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
The third homomorphism theorem on trees	2015-07-03	Paper
Write it recursively	2015-03-16	Paper
Bidirectionalization transformation based on automatic derivation of view complement functions	2014-07-21	Paper
Manipulating accumulative functions by swapping call-time and return-time computations	2014-02-27	Paper
Program Calculation in Coq	2011-01-21	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
Logic Based Program Synthesis and Transformation	2005-12-27	Paper
Logic Based Program Synthesis and Transformation	2005-12-27	Paper
Mathematics of Program Construction	2005-08-26	Paper
Programming Languages and Systems	2005-08-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/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
https://portal.mardi4nfdi.de/entity/Q3985358	1992-06-27	Paper
https://portal.mardi4nfdi.de/entity/Q4321236	1992-01-01	Paper
Preliminary arrangements of arguments in lazy evaluation	1991-01-01	Paper
Lambda-hoisting: A transformation technique for fully lazy evaluation of functional programs	1988-01-01	Paper
Partial parametrization eliminates multiple traversals of data structures	1987-01-01	Paper
Inserting injection operations to denotational specifications	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3942364	1982-01-01	Paper

Research outcomes over time

This page was built for person: Masato Takeichi