Generalized Partial Computation bibliography

Pull requests welcome! Note: end a line with two spaces to force a line break.

2008

• On the Place of Supercompilation inside Program Specialization (META 2008)
  (paper)
  by A.P. Nemytykh

2002

• Automatic generation of a boyer-moore type pattern matcher by generalized partial computation (IEEE International Conference on Systems, Man and Cybernetics)
  by Y. Futamura, Z. Konishi and R. Gluck

• Automatic generation of a Boyer-Moore type pattern matcher from a naive pattern matcher (IEICE technical report)
  by Y. Futamura and Z. Konishi

• WSDFU: Program Transformation System based on Generalized Partial Computation (The Essence of Computation)
  (paper) (BibTeX)
  by Y. Futamura, Z. Konishi and R. Glück

• Automatic generation of efficient string matching algorithms by generalized partial computation (PEPM 2002)
  (paper) (BibTeX)
  by Y. Futamura, Z. Konishi and R. Glück

2001

• Automatic generation of very efficient programs by Generalized Partial Computation (Wuhan University Journal of Natural Sciences)
  (paper)
  by Y. Futamura, Z. Konishi and R. Glück

2000

• Recursion removal on generalized partial computation (JSSST, 2000)
  by Z. Konishi and Y Futamura

1999

• A theorem proving system and a terminating process for Generalized Partial Computation (GPC) (RIMS Workshop on Program Transformation, Symbolic Computation and Algebraic Manipulation)
  by Z Konishi and Y Futamura

1998

• Control structures and termination conditions for Generalized Partial Computation (GPC) (JSSST, 1998)
  by Y. Futamura, L. Song and Z. Konishi

• Extending the power of automatic constraint-based partial evaluators (ACM Computing Surveys)
  (paper) (BibTeX)
  by L. Lafave and J.P. Gallagher

• Automatic Generation of Very Efficient Programs by Generalized Partial Computation (APLAS 2000)
  (BibTeX)
  by Y. Futamura, Z. Konishi and R. Glück

1996

• A Termination Condition of Unfolding Loop for Generalized Partial Computation (Journal of China Universities of Posts and Telecommunications, 2001)
  by D. Zhao and Y. Fu

• A positive supercompiler (JFP, 1996)
  (paper) (BibTeX)
  by M.H. Sørensen, R. Glück and N.D. Jones

• A comparative revisitation of some program transformation techniques (Partial Evaluation, 1996)
  (paper) (BibTeX)
  by A. Pettorossi and M. Proietti

1994

• Towards unifying deforestation, supercompilation, partial evaluation and generalized partial computation (ESOP 1994)
  (paper) (BibTeX)
  by M.H. Sørensen, R. Glück and N.D. Jones

1993

• Program translation based on generalized partial computation (US Patent 5241678, 1993)
  (patent)
  by Y. Futamura and K. Nogi

1991

• Essence of generalized partial computation (TCS 1991)
  (paper) (BibTeX)
  by Y. Futamura, K. Nogi and A. Takano

1990

• Termination Conditions of Generalized Partial Computation (JSSST, 1990)
  by A. Takano, K. Nogi and Y. Futamura
  (In Japanese)

1988

• Generalized partial computation (ICIP TC2, 1988)
  by Y. Futamura and K. Nogi

• Generalized partial computation (FGCSE 1988)
  (BibTeX)
  by Y. Futamura

---

Status of links at last commit: