Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/yallop/generalized-partial-computation-bibliography

Generalized Partial Computation Bibliography
https://github.com/yallop/generalized-partial-computation-bibliography

Last synced: about 1 month ago
JSON representation

Generalized Partial Computation Bibliography

Awesome Lists containing this project

README 

        
## Generalized Partial Computation bibliography



[Pull requests](https://github.com/yallop/generalized-partial-computation-bibliography/pulls) 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](http://pier.botik.ru/~znamensk/sbornik/meta-2008/meta2008_submission_10.pdf))  

  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](https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.13.5822&rep=rep1&type=pdf))

  ([BibTeX](https://dblp.org/rec/conf/birthday/FutamuraKG02.html?view=bibtex))  

  by Y. Futamura, Z. Konishi and R. Glück



* **Automatic generation of efficient string matching algorithms by generalized partial computation** (PEPM 2002)  

  ([paper](https://dl.acm.org/doi/pdf/10.1145/568173.568174))

  ([BibTeX](https://dblp.org/rec/conf/pepm/FutamuraKG02.html?view=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](https://idp.springer.com/authorize/casa?redirect_uri=https://link.springer.com/content/pdf/10.1007/BF03160221.pdf&casa_token=7vk0wweTD38AAAAA:OqncPTIdhUIfcnnvYN03TRtW-4Fw2eYVC-mqtOcnm2mCJMw_I3YHrzD8omXqPoUqDBoGRvOrEOR3sXgN))  

  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](https://dl.acm.org/doi/pdf/10.1145/289121.289136))

  ([BibTeX](https://dblp.org/rec/journals/csur/GallagherL98a.html?view=bibtex))  

  by L. Lafave and J.P. Gallagher



* **Automatic Generation of Very Efficient Programs by Generalized Partial Computation** (APLAS 2000)  

  ([BibTeX](https://dblp.org/rec/conf/aplas/FutamuraKG00.html?view=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](https://www.researchgate.net/publication/231902563_A_positive_supercompiler))

  ([BibTeX](https://dblp.org/rec/journals/jfp/SorensenGJ96.html?view=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](https://www.researchgate.net/profile/Maurizio-Proietti-2/publication/2745169_A_Comparative_Revisitation_of_Some_Program_Transformation_Techniques/links/0fcfd509cc23f989b1000000/A-Comparative-Revisitation-of-Some-Program-Transformation-Techniques.pdf))

  ([BibTeX](https://dblp.org/rec/conf/dagstuhl/PettorossiP96.html?view=bibtex))  

  by A. Pettorossi and M. Proietti



### 1994



* **Towards unifying deforestation, supercompilation, partial evaluation and generalized partial computation** (ESOP 1994)  

  ([paper](https://link.springer.com/content/pdf/10.1007/3-540-57880-3_32.pdf))

  ([BibTeX](https://dblp.org/rec/conf/esop/SorensenGJ94.html?view=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](https://patents.google.com/patent/US5241678))  

  by Y. Futamura and K. Nogi



### 1991



* **Essence of generalized partial computation** (TCS 1991)  

  ([paper](https://www.sciencedirect.com/science/article/pii/030439759190299H/pdf))

  ([BibTeX](https://dblp.org/rec/journals/tcs/FutamuraNT91.html?view=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](https://dblp.org/rec/conf/fgcs/Futamura88.html?view=bibtex))  

  by Y. Futamura

  

------------------------------------------------------------------------



Status of links at last commit: [![checklinks](https://github.com/yallop/generalized-partial-computation-bibliography/actions/workflows/checklinks.yml/badge.svg)](https://github.com/yallop/generalized-partial-computation-bibliography/actions/workflows/checklinks.yml)