FrontPage  Index  Search  Changes  Login

Publication

[English / Japanese]
Top Research Programming Juggling Contact
Interests/Publications Activities Project
 

Interests

  • Tree transducers / attribute grammars
  • Formal tree language theory
  • (Functional) programming
  • Program transformation (fusion / deforestation)
  • Program verification
  • Structured document (XML) transformation
  • Bidirectional transformation

Publications

M. Ikebuchi and K. Nakano
On repetitive right application of B-terms, CoRR abs/1703.10938 (2017).
H. Kato, S. Hidaka, Z. Hu, K. Nakano and Y. Ishihara
Context-Preserving XQuery Fusion, Mathematical Structures in Computer Science, Vol. 25, No. 4 (2015), pp.916-941, Cambridge University Press.
S. Hakuta, S. Maneth, K. Nakano, H. Iwasaki
XQuery Streaming by Forest Transducers, 30th IEEE International Conference on Data Engineering (ICDE 2014), Chicago, Illinois, USA, March-April 2014.
M. Onizuka, H. Kato, S. Hidaka, K. Nakano, Z. Hu
Optimization for Iterative Queries on MapReduce, Proceedings of the VLDB Endowment (PVLDB), Vol. 7, No. 4 (2013), pp.241-252.
K. Matsuda, K. Inaba, K. Nakano
Polynomial-Time Inverse Computation for Accumulative Functions with Multiple Data Traversals, Higher-Order and Symbolic Computation, September 2013, Springer.
S. Hidaka, K. Asada, Z. Hu, H. Kato, K. Nakano
Structural Recursion for Querying Ordered Graphs, 18th ACM SIGPLAN International Conference on Functional Programming (ICFP 2013), Boston, Massachusetts, USA, September 2013.
K. Asada, S. Hidaka, H. Kato, Z. Hu, K. Nakano
A Parameterized Graph Transformation Calculus for Finite Graphs with Monadic Branches, 15th International Symposium on Principles and Practice of Declarative Programming (PPDP 2013), Madrid, Spain, September, 2013.
S. Hidaka, Z. Hu, K. Inaba, H. Kato, K. Nakano
GRoundTram: An Integrated Framework for Developing Well-Behaved Bidirectional Model Transformations , Research paper of the special issue: Advanced programming techniques for construction of robust, generic and evolutionary programs (guest editors: Zhenjiang Hu, Shin-Cheng Mu and Stephanie Weirich), Progress in Informatics, No. 10, pp. 131-148, 2013.
K. Nakano
Metamorphism in Jigsaw (Functional Pearl), Journal of Functional Programming, volume 23, issue 02 (2013), pp. 161-173.
PDF is freely accessible here by registering for a Cambridge Core account. The copyright belongs to Cambridge University Press.
[known typo] p.165, l.3, pieces → p.
K. Nakano
Shall We Juggle, Coinductively?, The Second International Conference on Certified Programs and Proofs (CPP 2012), Kyoto, Japan, December 2012.
K. Matsuda, K. Inaba and K. Nakano
Polynomial-Time Inverse Computation for Accumulative Functions with Multiple Data Traversals, ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation (PEPM 2012), Philadelphia, Pennsylvania, USA, January 2012.
S. Hidaka, Z. Hu, K. Inaba, H. Kato and K. Nakano
GRoundTram: An Integrated Framework for Developing Well-Behaved Bidirectional Model Transformations (short paper), 26th IEEE/ACM International Conference On Automated Software Engineering (ASE 2011), Lawrence, Kansas, USA, November 2011.
S. Hidaka, Z. Hu, K. Inaba, H. Kato, K. Matsuda, K. Nakano and I. Sasano
Marker-Directed Optimization of UnCAL Graph Transformations, 21st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2011), Odense, Denmark, July 2011.
K. Inaba, S. Hidaka, Z. Hu, H. Kato and K. Nakano
Graph-Transformation Verification using Monadic Second-Order Logic, 13th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP 2011), Odense, Denmark, July 2011.
I. Sasano, Z. Hu, S. Hidaka, K. Inaba, H. Kato and K. Nakano
Toward Bidirectionalization of ATL with GRoundTram, 2nd International Conference on Model Transformation (ICMT 2011), Zurich, Switzerland, June 2011.
H. Kato, S. Hidaka, Z. Hu, K. Nakano, Y. Ishihara
Context-Preserving XQuery Fusion, 8th ASIAN Symposium on Programming Languages and Systems (APLAS 2010), Shanghai, China, November 2010.
S. Hidaka, Z. Hu, K. Inaba, H. Kato, K. Matsuda, K. Nakano
Bidirectionalizing Graph Transformations, 15th ACM SIGPLAN International Conference on Functional Programming (ICFP 2010), Baltimore, Maryland, USA, September 2010.
K. Nakano, S. Maneth
Computing the Cost of Typechecking of Composition of Macro Tree Transducers. Information and Media Technologies, Number 4, Volume 4 (2009), pp. 846-856.
K. Nakano, Z. Hu, M. Takeichi
Consistent Web Site Updating based on Bidirectional Transformation. International Journal on Software Tools for Technology Transfer, Volume 11, Number 6 (2009), pp. 453-468.
K. Nakano
Composing Stack-Attributed Tree Transducers. Theory of Computing Systems, Volume 44, Issue 1 (2009), pp. 1-38.
S. Hidaka, Z. Hu, H. Kato, K. Nakano
Towards Compositional Approach to Model Transformation for Software Development. The Software Engineering Track of SAC 2009, Hawaii, USA, March 2009.
H.Kato, S. Hidaka, Z. Hu, Y. Ishihara, K. Nakano
Rewriting XQuery to Avoid Redundant Expressions based on Static Emulation of XML Store, Programming Language Technologies for XML (PLAN-X 2009), Georgia, USA, January 2009.
K. Nakano, Z. Hu, M. Takeichi
Consistent Web Site Updating based on Bidirectional Transformation. The 10th IEEE International Symposium on Web Site Evolution, Beijing, China, October 2008.
S. Maneth and K. Nakano
XML Type Checking for Macro Tree Transducers with Holes. Programming Language Technologies for XML (PLAN-X 2008), San Francisco, USA, January 2008.
S-C. Mu, T-C. Tsai and K. Nakano
XML Stream Processing Using a Lazy Concurrent Language. Programming Language Technologies for XML (PLAN-X 2008), San Francisco, USA, January 2008.
K. Matsuda, Z. Hu, K. Nakano, M. Hamana and M. Takeichi
Bidirectionalization Transformation based on Automatic Derivation of View Complement Functions. The 12th ACM SIGPLAN International Conference on Functional Programming (ICFP 2007), Freiburg, Germany, October 2007.
A. Frisch and K. Nakano
Streaming XML Transformation Using Term Rewriting. Programming Language Technologies for XML (PLAN-X 2007), Nice, France, January 2007.
K. Nakano and S-C. Mu
A Pushdown Machine for Recursive XML Processing. The Fourth ASIAN Symposium on Programming Languages and Systems (APLAS 2006), Sydney, Australia, November 2006. [abstract]|[pdf (full-version), 272kB].
K. Nakano, A. Morihata, Z. Hu and M. Takeichi
Webpage Updating System based on Bidirectional Transformation. 23rd JSSST Annual Conference, Tokyo, Japan, 2006.
K. Nakano
Streamlining Functional XML Processing. 1st DIKU-IST Joint Workshop on Foundations of Software, Copenhagen, Denmark, September 2005. [abstract] [pdf, 200kB]
K. Nakano
Automatic Derivation of an XML Stream Processor from a Macro Forest Transducer. 22nd JSSST Annual Conference, Sendai, Japan, 2005. [pdf, 336kB, In Japanese]
S. Nishimura and K. Nakano
XML stream transformer generation through program composition and dependency analysis. Science of Computer Programming, Volume 54, Isuues 2-3, pp.257-290. Elsevier Publishers, 2005. [abstract] [pdf, 1703kB]
K. Nakano
An Implementation Scheme for XML Transformation Languages through Derivation of Stream Processors. The Second ASIAN Symposium on Programming Languages and Systems (APLAS'04), Taipei, Taiwan, November 2004. [abstract] [pdf, 182kB]
K. Nakano
Towards Implementation of XML Transformation Languages Intended for Stream Processing. Computer Software, Vol. 21, No. 3 (2004), pp.48-54. [pdf(revised), 320kB, In Japanese]
K. Nakano. Obsolete!
Composing Stack-Attributed Tree Transducers. Technical Report METR-2004-01, Major in Mathematical Informatics, University of Tokyo. [pdf(revised), 240kB].
K. Nakano. Obsolete!
Composing Stack-Attributed Tree Transducers. Submitted, 2002.
K. Nakano and S. Nishimura
Deriving Event-Based Document Transformers from Tree-Based Specifications. Workshop on Language Descriptions, Tools and Applications (LDTA'01), Genova, Italy April 2001. [abstract]
K. Nakano
Attribute-Directed Extraction of a Context-Free Grammar. Master's Thesis, Research Institute for Mathematical Sciences, Kyoto University, February 2000.
Last modified:2017/05/18 12:41:21
Keyword(s):
References:[tabtree] [Interests] [news] [TabTree] [News] [interests]