Huber, Sarah; Futamura, Yasunori; Galgon, Martin; Imakura, Akira; Lang, Bruno; Sakurai, Tetsuya Flexible subspace iteration with moments for an effective contour integration-based eigensolver. (English) Zbl 07655841 Numer. Linear Algebra Appl. 29, No. 6, e2447, 15 p. (2022). MSC: 65F15 65F10 PDFBibTeX XMLCite \textit{S. Huber} et al., Numer. Linear Algebra Appl. 29, No. 6, e2447, 15 p. (2022; Zbl 07655841) Full Text: DOI arXiv
Futamura, Yasunori; Ye, Xiucai; Sakurai, Tetsuya Contour Integral-based Quantum Algorithm for Estimating Matrix Eigenvalue Density. arXiv:2112.05395 Preprint, arXiv:2112.05395 [quant-ph] (2021). BibTeX Cite \textit{Y. Futamura} et al., ``Contour Integral-based Quantum Algorithm for Estimating Matrix Eigenvalue Density'', Preprint, arXiv:2112.05395 [quant-ph] (2021) Full Text: arXiv OA License
Alvermann, Andreas; Basermann, Achim; Bungartz, Hans-Joachim; Carbogno, Christian; Ernst, Dominik; Fehske, Holger; Futamura, Yasunori; Galgon, Martin; Hager, Georg; Huber, Sarah; Huckle, Thomas; Ida, Akihiro; Imakura, Akira; Kawai, Masatoshi; Köcher, Simone; Kreutzer, Moritz; Kus, Pavel; Lang, Bruno; Lederer, Hermann; Manin, Valeriy; Marek, Andreas; Nakajima, Kengo; Nemec, Lydia; Reuter, Karsten; Rippl, Michael; Röhrig-Zöllner, Melven; Sakurai, Tetsuya; Scheffler, Matthias; Scheurer, Christoph; Shahzad, Faisal; Simoes Brambila, Danilo; Thies, Jonas; Wellein, Gerhard Benefits from using mixed precision computations in the ELPA-AEO and ESSEX-II eigensolver projects. (English) Zbl 1418.65044 Japan J. Ind. Appl. Math. 36, No. 2, 699-717 (2019). MSC: 65F15 65F25 65Y05 65Y99 PDFBibTeX XMLCite \textit{A. Alvermann} et al., Japan J. Ind. Appl. Math. 36, No. 2, 699--717 (2019; Zbl 1418.65044) Full Text: DOI arXiv Link
Yano, Takahiro; Futamura, Yasunori; Imakura, Akira; Sakurai, Tetsuya Performance evaluation of the Sakurai-Sugiura method with a block Krylov subspace linear solver for large dense Hermitian-definite generalized eigenvalue problems. (English) Zbl 07037372 JSIAM Lett. 10, 77-80 (2018). MSC: 65-XX 68-XX PDFBibTeX XMLCite \textit{T. Yano} et al., JSIAM Lett. 10, 77--80 (2018; Zbl 07037372) Full Text: DOI
Futamura, Yasunori; Yano, Takahiro; Imakura, Akira; Sakurai, Tetsuya A real-valued block conjugate gradient type method for solving complex symmetric linear systems with multiple right-hand sides. (English) Zbl 1488.65069 Appl. Math., Praha 62, No. 4, 333-355 (2017). MSC: 65F10 65F50 PDFBibTeX XMLCite \textit{Y. Futamura} et al., Appl. Math., Praha 62, No. 4, 333--355 (2017; Zbl 1488.65069) Full Text: DOI
Maeda, Yasuyuki; Futamura, Yasunori; Imakura, Akira; Sakurai, Tetsuya Filter analysis for the stochastic estimation of eigenvalue counts. (English) Zbl 07037346 JSIAM Lett. 7, 53-56 (2015). MSC: 65-XX 93-XX PDFBibTeX XMLCite \textit{Y. Maeda} et al., JSIAM Lett. 7, 53--56 (2015; Zbl 07037346) Full Text: DOI
Du, Lei; Futamura, Yasunori; Sakurai, Tetsuya Block conjugate gradient type methods for the approximation of bilinear form \(C^HA^{-1}B\). (English) Zbl 1368.65050 Comput. Math. Appl. 66, No. 12, 2446-2455 (2014). MSC: 65F10 15A63 65F30 PDFBibTeX XMLCite \textit{L. Du} et al., Comput. Math. Appl. 66, No. 12, 2446--2455 (2014; Zbl 1368.65050) Full Text: DOI
Futamura, Toshihide; Mizuta, Yoshihiro; Ohno, Takao Sobolev’s theorem for Riesz potentials of functions in grand Morrey spaces of variable exponent. (English) Zbl 1332.31007 Kato, Mikio (ed.) et al., Proceedings of the 4th international symposium on Banach and function spaces IV (ISBFS 2012), Kitakyushu, Japan, September 12–15, 2012. Yokohama: Yokohama Publishers (ISBN 978-4-946552-48-9/hbk). 353-365 (2014). MSC: 31B15 46E35 PDFBibTeX XMLCite \textit{T. Futamura} et al., in: Proceedings of the 4th international symposium on Banach and function spaces IV (ISBFS 2012), Kitakyushu, Japan, September 12--15, 2012. Yokohama: Yokohama Publishers. 353--365 (2014; Zbl 1332.31007)
Futamura, Toshihide; Mizuta, Yoshihiro; Ohno, Takao Spherical means of super-polyharmonic functions in the unit ball. (English) Zbl 1300.31009 Hiroshima Math. J. 44, No. 2, 235-245 (2014). MSC: 31B30 31B05 31B15 PDFBibTeX XMLCite \textit{T. Futamura} et al., Hiroshima Math. J. 44, No. 2, 235--245 (2014; Zbl 1300.31009) Full Text: Euclid
Futamura, Toshihide; Mizuta, Yoshihiro; Ohno, Takao Riesz decomposition for super-polyharmonic functions in the punctured unit ball. (English) Zbl 1299.31004 Stud. Sci. Math. Hung. 51, No. 1, 1-16 (2014). Reviewer: Stephen J. Gardiner (Dublin) MSC: 31B30 31B05 31B15 PDFBibTeX XMLCite \textit{T. Futamura} et al., Stud. Sci. Math. Hung. 51, No. 1, 1--16 (2014; Zbl 1299.31004) Full Text: DOI
Maeda, Yasuyuki; Futamura, Yasunori; Sakurai, Tetsuya Stochastic estimation method of eigenvalue density for nonlinear eigenvalue problem on the complex plane. (English) Zbl 1271.65089 JSIAM Lett. 3, 61-64 (2011). MSC: 65H17 PDFBibTeX XMLCite \textit{Y. Maeda} et al., JSIAM Lett. 3, 61--64 (2011; Zbl 1271.65089) Full Text: DOI Link
Futamura, T.; Mizuta, Y.; Ohno, T.; Shimomura, T. Orlicz-Sobolev capacity of balls. (English) Zbl 1277.46016 Ill. J. Math. 55, No. 2, 543-553 (2011). MSC: 46E30 31B15 PDFBibTeX XMLCite \textit{T. Futamura} et al., Ill. J. Math. 55, No. 2, 543--553 (2011; Zbl 1277.46016) Full Text: Euclid
Futamura, Toshihide; Kitaura, Keiji; Mizuta, Yoshihiro A Montel type result for super-polyharmonic functions on \(\mathbb{R}^N\). (English) Zbl 1210.31003 Potential Anal. 34, No. 1, 89-100 (2011). Reviewer: Konstantin Malyutin (Sumy) MSC: 31B15 31B30 31B05 PDFBibTeX XMLCite \textit{T. Futamura} et al., Potential Anal. 34, No. 1, 89--100 (2011; Zbl 1210.31003) Full Text: DOI
Futamura, Yasunori; Tadano, Hiroto; Sakurai, Tetsuya Parallel stochastic estimation method of eigenvalue distribution. (English) Zbl 1271.65063 JSIAM Lett. 2, 127-130 (2010). MSC: 65F15 65F50 65Y05 PDFBibTeX XMLCite \textit{Y. Futamura} et al., JSIAM Lett. 2, 127--130 (2010; Zbl 1271.65063) Full Text: DOI Link
Futamura, Toshihide; Mizuta, Yoshihiro; Shimomura, Tetsu Integrability of maximal functions and Riesz potentials in Orlicz spaces of variable exponent. (English) Zbl 1193.46016 J. Math. Anal. Appl. 366, No. 2, 391-417 (2010). Reviewer: Stephen J. Gardiner (Dublin) MSC: 46E30 31B15 42B25 PDFBibTeX XMLCite \textit{T. Futamura} et al., J. Math. Anal. Appl. 366, No. 2, 391--417 (2010; Zbl 1193.46016) Full Text: DOI
Futamura, T.; Kitaura, K.; Mizuta, Y. Riesz decomposition for superbiharmonic functions in the unit ball. (English) Zbl 1184.31009 Hokkaido Math. J. 38, No. 4, 683-700 (2009). MSC: 31C99 PDFBibTeX XMLCite \textit{T. Futamura} et al., Hokkaido Math. J. 38, No. 4, 683--700 (2009; Zbl 1184.31009) Full Text: DOI
Futamura, Toshihide; Harjulehto, Petteri; Hästö, Peter; Mizuta, Yoshihiro; Shimomura, Tetsu Variable exponent spaces on metric measure spaces. (English) Zbl 1189.46027 Begehr, H. G. W. (ed.) et al., More progresses in analysis. Proceedings of the 5th international ISAAC congress, Catania, Italy, July 25–30, 2005. Hackensack, NJ: World Scientific (ISBN 978-981-283-562-8/hbk). 107-121 (2009). MSC: 46E35 28A78 28A80 42B20 46E30 46-02 PDFBibTeX XMLCite \textit{T. Futamura} et al., in: More progresses in analysis. Proceedings of the 5th international ISAAC congress, Catania, Italy, July 25--30, 2005. Hackensack, NJ: World Scientific. 107--121 (2009; Zbl 1189.46027)
Futamura, Toshihide; Kitaura, Keiji; Mizuta, Yoshihiro Isolated singularities, growth of spherical means and Riesz decomposition for superbiharmonic functions. (English) Zbl 1161.31302 Hiroshima Math. J. 38, No. 2, 231-241 (2008). MSC: 31B30 31B05 31B15 PDFBibTeX XMLCite \textit{T. Futamura} et al., Hiroshima Math. J. 38, No. 2, 231--241 (2008; Zbl 1161.31302)
Futamura, Toshihide; Mizuta, Yoshihiro Continuity of weakly monotone Sobolev functions of variable exponent. (English) Zbl 1119.31002 Aikawa, Hiroaki (ed.) et al., Potential theory in Matsue. Selected papers of the international workshop on potential theory, Matsue, Japan, August 23–28, 2004. Tokyo: Mathematical Society of Japan (ISBN 4-931469-33-7/hbk). Advanced Studies in Pure Mathematics 44, 127-143 (2006). Reviewer: Matti Vuorinen (Turku) MSC: 31B15 46E35 PDFBibTeX XMLCite \textit{T. Futamura} and \textit{Y. Mizuta}, Adv. Stud. Pure Math. 44, 127--143 (2006; Zbl 1119.31002)
Futamura, Toshihide; Mizuta, Yoshihiro; Shimomura, Tetsu Sobolev embeddings for Riesz potential space of variable exponent. (English) Zbl 1109.31004 Math. Nachr. 279, No. 13-14, 1463-1473 (2006). Reviewer: Stephen J. Gardiner (Dublin) (MR2269250) MSC: 31B15 46E35 42B25 PDFBibTeX XMLCite \textit{T. Futamura} et al., Math. Nachr. 279, No. 13--14, 1463--1473 (2006; Zbl 1109.31004) Full Text: DOI
Futamura, Toshihide; Mizuta, Yoshihiro Maximal functions for Lebesgue spaces with variable exponent approaching 1. (English) Zbl 1111.46019 Hiroshima Math. J. 36, No. 1, 23-28 (2006). Reviewer: Peter Hästö (Helsinki) MSC: 46E30 46B25 PDFBibTeX XMLCite \textit{T. Futamura} and \textit{Y. Mizuta}, Hiroshima Math. J. 36, No. 1, 23--28 (2006; Zbl 1111.46019)
Futamura, Toshihide; Mizuta, Yoshihiro; Shimomura, Tetsu Sobolev embeddings for variable exponent Riesz potentials on metric spaces. (English) Zbl 1100.31002 Ann. Acad. Sci. Fenn., Math. 31, No. 2, 495-522 (2006). Reviewer: Matti Vuorinen (Turku) MSC: 31B15 46E35 42B25 PDFBibTeX XMLCite \textit{T. Futamura} et al., Ann. Acad. Sci. Fenn., Math. 31, No. 2, 495--522 (2006; Zbl 1100.31002) Full Text: EuDML
Futamura, Toshihide; Mizuta, Yoshihiro Continuity of weakly monotone Sobolev functions. (English) Zbl 1101.46021 Adv. Math. Sci. Appl. 15, No. 2, 571-585 (2005). MSC: 46E35 30C65 31B15 31B25 PDFBibTeX XMLCite \textit{T. Futamura} and \textit{Y. Mizuta}, Adv. Math. Sci. Appl. 15, No. 2, 571--585 (2005; Zbl 1101.46021)
Futamura, Toshihide; Mizuta, Yoshihiro Continuity properties of Riesz potentials for function in \(L^{p(.)}\) of variable exponent. (English) Zbl 1087.31004 Math. Inequal. Appl. 8, No. 4, 619-631 (2005). Reviewer: Dimitrios Betsakos (Thessaloniki) MSC: 31B15 46E35 PDFBibTeX XMLCite \textit{T. Futamura} and \textit{Y. Mizuta}, Math. Inequal. Appl. 8, No. 4, 619--631 (2005; Zbl 1087.31004) Full Text: DOI
Futamura, Toshihide; Mizuta, Yoshihiro Boundary behavior of monotone Sobolev functions on John domains in a metric space. (English) Zbl 1074.31005 Complex Variables, Theory Appl. 50, No. 6, 441-451 (2005). Reviewer: Roman Urban (Wrocław) MSC: 31B25 46E35 PDFBibTeX XMLCite \textit{T. Futamura} and \textit{Y. Mizuta}, Complex Variables, Theory Appl. 50, No. 6, 441--451 (2005; Zbl 1074.31005) Full Text: DOI
Futamura, Toshihide; Mizuta, Yoshihiro Growth properties of \(p\)-th means of biharmonic Green potentials in the unit ball. (English) Zbl 1075.31006 Osaka J. Math. 42, No. 1, 85-99 (2005). Reviewer: Stephen J. Gardiner (Dublin) MSC: 31B30 31B15 PDFBibTeX XMLCite \textit{T. Futamura} and \textit{Y. Mizuta}, Osaka J. Math. 42, No. 1, 85--99 (2005; Zbl 1075.31006)
Futamura, Toshihide; Mizuta, Yoshihiro; Shimomura, Tetsu Approach regions for modified Poisson integrals of boundary functions in Orlicz classes. (English) Zbl 1075.31004 Far East J. Math. Sci. (FJMS) 14, No. 2, 137-153 (2004). Reviewer: Olof Svensson (Norrköping) MSC: 31B25 31B15 PDFBibTeX XMLCite \textit{T. Futamura} et al., Far East J. Math. Sci. (FJMS) 14, No. 2, 137--153 (2004; Zbl 1075.31004)
Futamura, Toshihide; Mizuta, Yoshihiro Isolated singularities of super-polyharmonic functions. (English) Zbl 1073.31005 Hokkaido Math. J. 33, No. 3, 675-695 (2004). Reviewer: Stephen J. Gardiner (Dublin) MSC: 31B30 PDFBibTeX XMLCite \textit{T. Futamura} and \textit{Y. Mizuta}, Hokkaido Math. J. 33, No. 3, 675--695 (2004; Zbl 1073.31005) Full Text: DOI
Takeuchi, Fumihiko; Futamura, Yasuhiro; Yoshikura, Hiroshi; Yamamoto, Kenji Statistics of trinucleotides in coding sequences and evolution. (English) Zbl 1464.92177 J. Theor. Biol. 222, No. 2, 139-149 (2003). MSC: 92D10 92D15 62P10 PDFBibTeX XMLCite \textit{F. Takeuchi} et al., J. Theor. Biol. 222, No. 2, 139--149 (2003; Zbl 1464.92177) Full Text: DOI
Futamura, Toshihide; Mizuta, Yoshihiro Radial growth of \(C^2\) functions satisfying Bloch type condition. (English) Zbl 1060.31003 Hiroshima Math. J. 33, No. 3, 433-443 (2003). Reviewer: Fernando Perez-Gonzalez (La Laguna) MSC: 31B25 26B35 PDFBibTeX XMLCite \textit{T. Futamura} and \textit{Y. Mizuta}, Hiroshima Math. J. 33, No. 3, 433--443 (2003; Zbl 1060.31003)
Futamura, Toshihide; Mizuta, Yoshihiro Lindelöf theorems for monotone Sobolev functions. (English) Zbl 1035.31005 Ann. Acad. Sci. Fenn., Math. 28, No. 2, 271-277 (2003). Reviewer: Roman Urban (Wroclaw) MSC: 31B25 46E35 PDFBibTeX XMLCite \textit{T. Futamura} and \textit{Y. Mizuta}, Ann. Acad. Sci. Fenn., Math. 28, No. 2, 271--277 (2003; Zbl 1035.31005) Full Text: EuDML
Futamura, Toshihide; Mizuta, Yoshihiro Tangential limits and removable sets for weighted Sobolev spaces. (English) Zbl 1030.31006 Hiroshima Math. J. 33, No. 1, 43-57 (2003). Reviewer: Stefan G.Samko (Faro) MSC: 31B15 31B25 PDFBibTeX XMLCite \textit{T. Futamura} and \textit{Y. Mizuta}, Hiroshima Math. J. 33, No. 1, 43--57 (2003; Zbl 1030.31006)
Futamura, Toshihide; Kishi, Kyoko; Mizuta, Yoshihiro Removability of sets for sub-polyharmonic functions. (English) Zbl 1041.31004 Hiroshima Math. J. 33, No. 1, 31-42 (2003). Reviewer: Stephen J. Gardiner (Dublin) MSC: 31B30 35R45 PDFBibTeX XMLCite \textit{T. Futamura} et al., Hiroshima Math. J. 33, No. 1, 31--42 (2003; Zbl 1041.31004)
Kakehi, Kazuhiko; Glück, Robert; Futamura, Yoshihiko On deforesting parameters of accumulating maps. (English) Zbl 1073.68580 Pettorossi, Alberto (ed.), Logic based program synthesis and transformation. 11th international workshop, LOPSTR 2001, Paphos, Cyprus, November 28–30, 2001. Selected papers. Berlin: Springer (ISBN 3-540-43915-3). Lect. Notes Comput. Sci. 2372, 46-56 (2002). MSC: 68N30 68N18 PDFBibTeX XMLCite \textit{K. Kakehi} et al., Lect. Notes Comput. Sci. 2372, 46--56 (2002; Zbl 1073.68580) Full Text: Link
Futamura, Yoshihiko; Konishi, Zenjiro; Glück, Robert WSDFU: Program transformation system based on generalized partial computation. (English) Zbl 1026.68510 Mogensen, Torben Æ. (ed.) et al., The essence of computation. Complexity, analysis, transformation. Essays dedicated to Neil D. Jones. Berlin: Springer. Lect. Notes Comput. Sci. 2566, 358-378 (2002). MSC: 68N30 PDFBibTeX XMLCite \textit{Y. Futamura} et al., Lect. Notes Comput. Sci. 2566, 358--378 (2002; Zbl 1026.68510) Full Text: Link
Futamura, Yoshihiko; Konishi, Zenjiro; Glück, Robert Program transformation system based on generalized partial computation. (English) Zbl 0994.68132 New Generation Comput. 20, No. 1, 75-99 (2002). MSC: 68T15 PDFBibTeX XMLCite \textit{Y. Futamura} et al., New Generation Comput. 20, No. 1, 75--99 (2002; Zbl 0994.68132) Full Text: DOI
Glück, Robert (ed.); Futamura, Yoshihiko (ed.) Special feature: Partial evaluation and program transformation. 5 papers of the one-day colloquium, Waseda Univ., Tokyo, Japan, November 15, 1999. (English) Zbl 0988.00086 New Generation Comput. 20, No. 1, 124 p. (2002). MSC: 00B25 68-06 PDFBibTeX XMLCite \textit{R. Glück} (ed.) and \textit{Y. Futamura} (ed.), New Generation Comput. 20, No. 1, 124~p. (2002; Zbl 0988.00086) Full Text: DOI
Futamura, Toshihide; Mizuta, Yoshihiro Existence of functions in weighted Sobolev spaces. (English) Zbl 1023.46037 Nagoya Math. J. 164, 75-88 (2001). MSC: 46E35 31B15 31C45 PDFBibTeX XMLCite \textit{T. Futamura} and \textit{Y. Mizuta}, Nagoya Math. J. 164, 75--88 (2001; Zbl 1023.46037) Full Text: DOI
Futamura, Toshihide; Kishi, Kyoko; Mizuta, Yoshihiro A generalization of Bôcher’s theorem for polyharmonic functions. (English) Zbl 1013.31005 Hiroshima Math. J. 31, No. 1, 59-70 (2001). Reviewer: Victor Anandam (Riyadh) MSC: 31B30 PDFBibTeX XMLCite \textit{T. Futamura} et al., Hiroshima Math. J. 31, No. 1, 59--70 (2001; Zbl 1013.31005)
Futamura, Toshihide; Kishi, Kyoko; Mizuta, Yoshihiro A generalization of the Liouville theorem to polyharmonic functions. (English) Zbl 0977.31005 J. Math. Soc. Japan 53, No. 1, 113-118 (2001). Reviewer: D.H.Armitage (Belfast) MSC: 31B30 PDFBibTeX XMLCite \textit{T. Futamura} et al., J. Math. Soc. Japan 53, No. 1, 113--118 (2001; Zbl 0977.31005) Full Text: DOI
Song, Litong; Futamura, Yoshihiko A new termination approach for specialization. (English) Zbl 1044.68533 Taha, Walid (ed.), Semantics, applications, and implementation of program generation. International workshop, SAIG 2000, Montrèal, Canada, September 20, 2000. Proceedings. Berlin: Springer (ISBN 3-540-41054-6). Lect. Notes Comput. Sci. 1924, 72-91 (2000). MSC: 68N01 68N30 PDFBibTeX XMLCite \textit{L. Song} and \textit{Y. Futamura}, Lect. Notes Comput. Sci. 1924, 72--91 (2000; Zbl 1044.68533) Full Text: Link
Futamura, Yoshihiko (ed.) Program transformation, symbolic computation and algebraic manipulation. Proceedings of a symposium held at the Research Institute for Mathematical Sciences, Kyoto University, Kyoto, Japan, November 29–December 1, 1999. (English, Japanese) Zbl 0970.68005 RIMS Kokyuroku 1125, 182 p. (2000). MSC: 68-06 00B25 68W30 PDFBibTeX XMLCite \textit{Y. Futamura} (ed.), RIMS Kokyuroku 1125, 182~p. (2000; Zbl 0970.68005)
Futamura, Toshihide; Kishi, Kyoko; Mizuta, Yoshihiro A generalization of the Liouville theorem to polyharmonic functions. (English) Zbl 0957.31503 RIMS Kokyuroku 1116, 45-50 (1999). MSC: 31B30 35J30 PDFBibTeX XMLCite \textit{T. Futamura} et al., RIMS Kokyuroku 1116, 45--50 (1999; Zbl 0957.31503)
Futamura, Yoshihiko Partial evaluation of computation process – an approach to a compiler-compiler. (English) Zbl 1009.68504 High.-Order Symb. Comput. 12, No. 4, 381-391 (1999). MSC: 68N20 PDFBibTeX XMLCite \textit{Y. Futamura}, High.-Order Symb. Comput. 12, No. 4, 381--391 (1999; Zbl 1009.68504) Full Text: DOI
Futamura, Yoshihiko; Nogi, Kenroku; Takano, Akihiko Essence of generalized partial computation. (English) Zbl 0731.68074 Theor. Comput. Sci. 90, No. 1, 61-79 (1991). MSC: 68Q60 PDFBibTeX XMLCite \textit{Y. Futamura} et al., Theor. Comput. Sci. 90, No. 1, 61--79 (1991; Zbl 0731.68074) Full Text: DOI
Ershov, A. P. (ed.); Bjøner, D. (ed.); Futamura, Y. (ed.); Furukawa, K. (ed.); Haraldson, A. (ed.); Scherlis, W. (ed.) Selected papers from the workshop on partial evaluation and mixed computation, Avernaes, Denmark, 18-24 October 1987. (English) Zbl 0643.00026 New Generation Computing, 6, No. 2-3. Tokyo etc: Springer-Verlag; Tokyo etc.: Ohmsha, Ltd. pp. 77-358 (1988). MSC: 00Bxx 68-06 PDFBibTeX XMLCite \textit{A. P. Ershov} (ed.) et al., Selected papers from the workshop on partial evaluation and mixed computation, Avernaes, Denmark, 18-24 October 1987. Tokyo etc: Springer-Verlag; Tokyo etc.: Ohmsha, Ltd. (1988; Zbl 0643.00026)
Futamura, Yoshihiko Partial computation of programs. (English) Zbl 0506.68019 Software science and engineering, Proc. RIMS Symp., Kyoto 1982, Lect. Notes Comput. Sci. 147, 1-35 (1983). MSC: 68Q60 PDFBibTeX XML