Tag partialevaluation [29 articles] Export

Recent papers classified by the tag partialevaluation.

	A Simple Solution to Type Specialization [My Copy] Automata, Languages and Programming (1998), 908. by Olivier Danvy posted to functionalprogramming partialevaluation by keigoi on 2007-06-22 06:36:09 as along with 2 people jkominek msakai
	Driving in the Jungle [My Copy] Lecture Notes in Computer Science, Vol. 2053 (January 2001), 198. by Jens P. Secher posted to driving partialevaluation supercompilation by pejo on 2005-08-31 14:12:50 as along with 2 people beete pjd
	On the Power of Homeomorphic Embedding for Online Termination [My Copy] Lecture Notes in Computer Science, Vol. 1503 (January 1998), 230. by Michael Leuschel posted to online partialevaluation termination by pejo on 2005-08-31 13:05:30 as
	$My PDF voigtl&\#228;nder_04_composition.pdf$ Composition of functions with accumulating parameters [My Copy] J. Funct. Program., Vol. 14, No. 3. (May 2004), pp. 317-363. by Janis Voigtl&\#228;nder, Armin K&\#252;hnemann posted to deforestation partialevaluation by pejo on 2005-08-29 13:01:21 as along with 1 person voigt
	On Perfect Supercompilation [My Copy] Lecture Notes in Computer Science, Vol. 1755 (January 2000), 113. by Jens P. Secher, Morten H. Sørensen posted to partialevaluation supercompilation by pejo on 2005-08-24 14:20:40 as along with 2 people jrw pjd
	Combinators for program generation [My Copy] J. Funct. Program., Vol. 9, No. 5. (September 1999), pp. 483-525. by Peter Thiemann posted to partialevaluation by pejo on 2005-08-22 15:11:59 as along with 1 person jrw
	A computational formalization for partial evaluation [My Copy] Mathematical. Structures in Comp. Sci., Vol. 7, No. 5. (October 1997), pp. 507-541. by John Hatcliff, Olivier Danvy posted to partialevaluation by pejo on 2005-08-22 11:40:14 as
	$My PDF gl&\#252;ck_02_jones.pdf$ Jones optimality, binding-time improvements, and the strength of program specializers [My Copy] In ASIA-PEPM '02: Proceedings of the ASIAN symposium on Partial evaluation and semantics-based program manipulation (2002), pp. 9-19. by Robert Gl&\#252;ck posted to binding-time-improvement jones-optimal partialevaluation by pejo on 2005-08-22 11:33:56 as
	Transformation by interpreter specialisation [My Copy] Science of Computer Programming, Vol. 52, No. 1-3. (August 2004), pp. 307-339. by Neil D. Jones posted to partialevaluation by pejo on 2005-08-16 09:23:49 as
	Program Generation, Termination, and Binding-Time Analysis [My Copy] Lecture Notes in Computer Science, Vol. 2487 (January 2002), pp. 1-31. by Neil D. Jones, Arne J. Glenstrup posted to bta partialevaluation termination by pejo on 2005-08-16 08:21:12 as
	Tagging, Encoding, and Jones Optimality [My Copy] Lecture Notes in Computer Science, Vol. 2618 (January 2003), pp. 335-347. by Olivier Danvy, Martãnez posted to jones-optimal partialevaluation by pejo on 2005-08-16 08:18:43 as along with 1 person jrw
	Specialising Interpreters Using Offline Partial Deduction [My Copy] Lecture Notes in Computer Science, Vol. 3049 (January 2004), pp. 340-375. by Michael Leuschel, Stephen J. Craig, Maurice Bruynooghe, Wim Vanhoof posted to offline partialevaluation by pejo on 2005-08-16 08:14:30 as along with 1 person KarlKlose
	On Jones-Optimal Specialization for Strongly Typed Languages [My Copy] Lecture Notes in Computer Science, Vol. 1924 (January 2000), 129. by Henning Makholm posted to jones-optimal partialevaluation by pejo on 2005-08-16 08:12:22 as
	Polymorphic specialization for ML [My Copy] ACM Trans. Program. Lang. Syst., Vol. 26, No. 4. (July 2004), pp. 652-701. by Simon Helsen, Peter Thiemann posted to bta partialevaluation sml by pejo on 2005-08-16 07:41:27 as
	Binding-time analysis for standard ML [My Copy] Lisp Symb. Comput., Vol. 8, No. 3. (September 1995), pp. 191-208. by Lars Birkedal, Morten Welinder posted to bta partialevaluation sml by pejo on 2005-08-16 07:35:48 as
	Hand-Writing Program Generator Generators [My Copy] In PLILP '94: Proceedings of the 6th International Symposium on Programming Language Implementation and Logic Programming (1994), pp. 198-214. by Lars Birkedal, Morten Welinder posted to cogen partialevaluation by pejo on 2005-08-16 07:32:05 as
	Glossary for Partial Evaluation and Related Topics [My Copy] Higher Order Symbol. Comput., Vol. 13, No. 4. (December 2000), pp. 355-368. by Torben posted to glossary partialevaluation by pejo on 2005-08-12 11:26:17 as
	Imperative program optimization by partial evaluation [My Copy] In PEPM '04: Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation (2004), pp. 113-122. by S&\#248;ren Debois posted to bisimulation partialevaluation staticanalysis by pejo on 2005-08-12 09:47:23 as
	Offline partial evaluation can be as accurate as online partial evaluation [My Copy] ACM Trans. Program. Lang. Syst., Vol. 26, No. 1. (January 2004), pp. 191-220. by Niels H. Christensen, Robert Gl&\#252;ck posted to offline online partialevaluation staticanalysis by pejo on 2005-08-12 09:45:20 as
	Two Flavors of Offline Partial Evaluation [My Copy] Lecture Notes in Computer Science, Vol. 1538 (January 1998), 188. by Simon Helsen, Peter Thiemann posted to offline partialevaluation type-based by pejo on 2005-08-11 11:39:32 as
	Lambda-dropping: transforming recursive equations into programs with block structure [My Copy] In PEPM '97: Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, Vol. 32, No. 12. (December 1997), pp. 90-106. by Olivier Danvy, Ulrik P. Schultz posted to lambdadropping partialevaluation staticanalysis by pejo on 2005-08-08 12:24:44 as
	Partial-evaluation techniques for concurrent programs [My Copy] In PEPM '97: Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, Vol. 32, No. 12. (December 1997), pp. 47-62. by Mihnea Marinescu, Benjamin Goldberg posted to concurrency partialevaluation staticanalysis by pejo on 2005-08-08 12:23:07 as
	Partial evaluation and separate compilation [My Copy] In PEPM '97: Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, Vol. 32, No. 12. (December 1997), pp. 1-11. by Rogardt Heldal, John Hughes posted to partialevaluation staticanalysis by pejo on 2005-08-08 12:22:19 as
	Pre-Scheme: A Scheme Dialect for Systems Programming [My Copy] by R. Kelsey posted to partialevaluation staticanalysis by pejo on 2005-08-08 12:20:01 as along with 2 people hamish JeffreyPalmer
	Partial evaluation of call-by-value &lgr;-calculus with side-effects [My Copy] In PEPM '97: Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, Vol. 32, No. 12. (December 1997), pp. 12-21. by Kenichi Asai, Hidehiko Masuhara, Akinori Yonezawa posted to partialevaluation staticanalysis by pejo on 2005-08-08 12:17:28 as
	A type-directed, on-line, partial evaluator for a polymorphic language [My Copy] In PEPM '97: Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, Vol. 32, No. 12. (December 1997), pp. 22-35. by Tim Sheard posted to partialevaluation staticanalysis type-based by pejo on 2005-08-08 12:15:50 as
	Partial evaluation in aircraft crew planning [My Copy] In PEPM '97: Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, Vol. 32, No. 12. (December 1997), pp. 127-136. by Lennart Augustsson posted to partialevaluation staticanalysis by pejo on 2005-08-08 12:13:10 as
	Resource-bounded partial evaluation [My Copy] In PEPM '97: Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, Vol. 32, No. 12. (December 1997), pp. 179-192. by Saumya Debray posted to partialevaluation resourcebound staticanalysis by pejo on 2005-08-08 12:09:51 as
	Online-and-offline partial evaluation (extended abstract): a mixed approach [My Copy] In PEPM '00: Proceedings of the 2000 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation, Vol. 34, No. 11. (November 1999), pp. 12-21. by Eijiro Sumii, Naoki Kobayashi posted to partialevaluation staticanalysis by pejo on 2005-08-08 11:59:29 as

Note: You may cite this page as: http://www.citeulike.org/tag/partialevaluation

staticanalysis	11
bta	3
jones-optimal	3
offline	3
online	2
sml	2
supercompilation	2
termination	2
type-based	2
binding-time-improvement	1
bisimulation	1
cogen	1
concurrency	1
deforestation	1
driving	1
functionalprogramming	1
glossary	1
lambdadropping	1
languageimplementation	1
lisp	1
resourcebound	1
scheme	1

Tag partialevaluation [29 articles] Export

Related Tags