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

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: Masato Takeichi