Tag partial-evaluation [49 articles] Export

Recent papers classified by the tag partial-evaluation.

	Normalization and Partial Evaluation [My Copy] Applied Semantics (2002), pp. 75-114. by Peter Dybjer, Andrzej Filinski posted to project-phd-thesis partial-evaluation normalization by pedagand on 2009-10-29 10:37:00 as
	Incremental execution of transformation specifications [My Copy] SIGPLAN Not., Vol. 39, No. 1. (2004), pp. 26-38. by Ganesh Sittampalam, Oege de Moor, Ken F. Larsen posted to logic-programming partial-evaluation program-transformation by robertjohnsimmons on 2009-07-23 00:17:07 as
	Partial Evaluation of C and Automatic Compiler Generation (Extended Abstract) [My Copy] In CC '92: Proceedings of the 4th International Conference on Compiler Construction (1992), pp. 251-257. by Lars O. Andersen posted to partial-evaluation static-analysis by mattmight on 2009-07-14 22:30:58 as
	High-performance automatic target recognition through data-specific VLSI [My Copy] Very Large Scale Integration (VLSI) Systems, IEEE Transactions on In Very Large Scale Integration (VLSI) Systems, IEEE Transactions on, Vol. 6, No. 3. (1998), pp. 364-371. by Kang-Ngee Chia, Hea J. Kim, S. Lansing, W. H. Mangione-Smith, J. Villasensor posted to atr fpga functional-decomposition partial-evaluation specific week9 by jmw0116 to the group rit_ee732 on 2009-02-28 20:34:20 as along with 1 person and 1 group nevarcds Reconfigurable Computing
	Dictionary-free overloading by partial evaluation [My Copy] In In ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (1994), pp. 107-117. by Mark P. Jones posted to haskell partial-evaluation type-classes by zednenem on 2008-08-27 01:04:33 as
	Expressing dynamic reconfiguration by partial evaluation [My Copy] FPGAs for Custom Computing Machines, 1996. Proceedings. IEEE Symposium on In FPGAs for Custom Computing Machines, 1996. Proceedings. IEEE Symposium on (1996), pp. 188-194. by S. Singh, J. Hogg, D. Mcauley posted to partial-evaluation by jhibbits on 2008-08-06 02:31:25 as along with 3 people jmw0116 Seenu peskin
	Finally Tagless, Partially Evaluated [My Copy] Programming Languages and Systems (2009), pp. 222-238. by Jacques Carette, Oleg Kiselyov, Chung-Chieh Shan posted to compiler partial-evaluation tagless by nominolo on 2008-05-05 21:23:48 as along with 4 people and 1 group draganigajic pedagand keigoi msakai ConcertRG
	Partial Evaluation of Computation Process - An Approach to a Compiler-Compiler [My Copy] Higher-Order and Symbolic Computation, Vol. 12, No. 4. (1999), pp. 381-391. by Yoshihiko Futamura posted to hardcopy partial-evaluation by bunge on 2008-05-05 20:52:07 as along with 4 people MartinSchuerrer scavadini cdiggins ronnix
	A Transformation System for Developing Recursive Programs [My Copy] Journal of the ACM, Vol. 24, No. 1. (1977), pp. 44-67. by Rod M. Burstall, John Darlington posted to hardcopy partial-evaluation transformation by bunge on 2008-05-05 19:44:45 as
	Making a Fast Curry [My Copy] by Push E. Vs posted to compilers functional partial-evaluation by cdiggins on 2008-02-11 15:36:50 as along with 3 people and 1 group draganigajic sclv SamB functional programming
	The Ecce and Logen partial evaluators and their web interfaces [My Copy] In PEPM '06: Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation (2006), pp. 88-94. by Michael Leuschel, Dan Elphick, Mauricio Varea, Stephen-John Craig, Marc Fontaine posted to language-implementation partial-evaluation by JeffreyPalmer on 2007-10-31 19:29:02 as along with 1 person tuncay
	Reducing nondeterminism while specializing logic programs [My Copy] In POPL '97: Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1997), pp. 414-427. by Alberto Pettorossi, Maurizio Proietti, Sophie Renault posted to logic-programming partial-evaluation by tuncay on 2007-10-23 22:42:55 as
	Logic program specialisation through partial deduction: Control issues [My Copy] Theory Pract. Log. Program., Vol. 2, No. 4. (July 2002), pp. 461-515. by Michael Leuschel, Maurice Bruynooghe posted to logic-programming partial-evaluation by tuncay on 2007-10-23 00:40:53 as
	Partial evaluation in logic programming [My Copy] J. Log. Program., Vol. 11, No. 3-4. (1991), pp. 217-242. by J. W. Lloyd, J. C. Shepherdson posted to logic-programming partial-evaluation by tuncay on 2007-10-22 23:24:07 as
	Mix Ten Years Later [My Copy] In Partial Evaluation and Seman\-tics-Based Program Manipulation, La Jolla, California, June 1995 (1995), pp. 24-44. by N. D. Jones posted to partial-evaluation specialization by ronnix on 2007-09-13 22:38:44 as
	A uniform approach for compile-time and run-time specialization [My Copy] In Partial Evaluation. International Seminar. (December-JanuaryJune 1996), pp. 54-72. by Charles Consel, Luke Hornof, Fran\ccois Noël, Jacques Noyé, Nicolae Volanschi posted to compiler partial-evaluation runtime by miteshjain on 2007-08-30 09:17:20 as
	Automatic type inference via partial evaluation [My Copy] In PPDP '05: Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming (2005), pp. 106-116. by Aaron Tomb, Cormac Flanagan posted to partial-evaluation type-checking type-inference by KarlKlose on 2007-08-21 07:57:03 as along with 1 person rsaarelm
	Ensemble of surrogates [My Copy] Structural and Multidisciplinary Optimization, Vol. 33, No. 3. (March 2007), pp. 199-216. by Goel, Tushar, Haftka, et al. Raphael, Shyy, Wei, Queipo, Nestor posted to fitness multiobjective optimization partial-evaluation by rsantana on 2007-08-07 16:54:16 as along with 1 person kutabar
	Efficient-Discarding Fitness Functions [My Copy] by Alejandro R. Suárez, Alberto O. Rodríguez posted to edas fitness genetic-algorithms partial-evaluation by rsantana on 2007-07-17 11:38:26 as
	Enforcing safety properties by program specialization [My Copy] by P. Thiemann posted to partial-evaluation security by jfischer on 2007-07-09 22:09:30 as
	Towards Unifying Partial Evaluation, Deforestation, Supercompilation, and GPC [My Copy] by Morten H. Sørensen, Robert Glück, Neil D. Jones posted to deforestation generalized-partial-computation partial-evaluation program-transformation supercompilation by scis0000001 on 2007-05-18 14:18:49 as
	Type-directed partial evaluation [My Copy] In POPL '96: Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1996), pp. 242-257. by Olivier Danvy posted to partial-evaluation by JeffreyPalmer on 2006-11-07 19:59:25 as along with 2 people and 1 group dherman keigoi NU-PRL
	Online type-directed partial evaluation for dynamically-typed languages [My Copy] by E. Sumii, N. Kobayashi posted to partial-evaluation by JeffreyPalmer on 2006-11-07 19:59:02 as along with 1 person and 1 group dherman NU-PRL
	The second Futamura projection for type-directed partial evaluation [My Copy] In PEPM '00: Proceedings of the 2000 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation (1999), pp. 22-32. by Bernd Grobauer, Zhe Yang posted to partial-evaluation by dherman to the group NU-PRL on 2006-10-28 11:05:25 as
	Strong Normalization by Type-Directed Partial Evaluation and Run-Time Code Generation [My Copy] In Types in Compilation (1998), pp. 240-252. by Vincent Balat, Olivier Danvy posted to eval partial-evaluation staged-programming strong-normalization by dherman on 2006-10-28 11:04:31 as along with 1 group NU-PRL
	Improving the static analysis of embedded languages via partial evaluation [My Copy] In Proceedings of the ninth ACM SIGPLAN international conference on Functional programming, Vol. 39, No. 9. (September 2004), pp. 16-27. by David Herman, Philippe Meunier posted to dsel multilang partial-evaluation static-analysis by jacob on 2006-10-22 17:28:21 as along with 9 people and 1 group samth dherman JacquesC hamish JeffreyPalmer dsilva andymaule ryanc KarlKlose NU-PRL
	A Computational Formalization for Partial Evaluation [My Copy] Mathematical Structures in Computer Science, Vol. 7, No. 5. (1997), pp. 507-541. by John Hatcliff, Olivier Danvy posted to computational evaluation evaluator formalization partial-evaluation by scis0000001 on 2006-09-21 16:47:26 as
	From Interpreter to Compiler using Staging and Monads [My Copy] (1998) by T. Sheard, Z. Benaissa posted to compiler compilers monads multi-stage-languages partial-evaluation staged-programming staging by mahler on 2006-04-25 19:04:03 as along with 4 people and 2 groups twleung dherman eaubin JeffreyPalmer NU-PRL Rightscom
	Efficient incremental run-time specialization for free [My Copy] In PLDI '99: Proceedings of the ACM SIGPLAN 1999 conference on Programming language design and implementation, Vol. 34, No. 5. (May 1999), pp. 281-292. by Renaud Marlet, Charles Consel, Philippe Boinot posted to on-line partial-evaluation by nikomatsakis on 2006-03-30 10:36:04 as along with 3 people msakai marcoil dynamic
	A general approach for run-time specialization and its application to C [My Copy] In POPL '96: Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1996), pp. 145-156. by Charles Consel, Fran&\#231;ois No&\#235;l posted to on-line partial-evaluation by nikomatsakis on 2006-03-30 10:05:48 as
	Implementing multi-stage languages using ASTs, Gensym, and reflection [My Copy] In GPCE '03: Proceedings of the second international conference on Generative programming and component engineering (2003), pp. 57-76. by Cristiano Calcagno, Walid Taha, Liwen Huang, Xavier Leroy posted to language-implementation partial-evaluation by nikomatsakis on 2006-03-30 09:14:41 as
	Transformation by Interpreter Specialisation [My Copy] by Neil J. Diku posted to language-implementation partial-evaluation by nikomatsakis on 2006-03-30 09:10:51 as along with 1 person JeffreyPalmer
	Automatic program specialization for Java [My Copy] ACM Trans. Program. Lang. Syst., Vol. 25, No. 4. (July 2003), pp. 452-499. by Ulrik P. Schultz, Julia L. Lawall, Charles Consel posted to off-line partial-evaluation by nikomatsakis on 2006-03-30 09:00:58 as along with 3 people akuhn surana schuh
	A portable-approach to dynamic optimization in run-time specialization [My Copy] New Gen. Comput., Vol. 20, No. 1. (January 2002), pp. 101-124. by Hidehiko Masuhara, Akinori Yonezawa posted to partial-evaluation by nikomatsakis on 2006-03-30 09:00:27 as
	Run-Time Bytecode Specialization [My Copy] In PADO '01: Proceedings of the Second Symposium on Programs as Data Objects (2001), pp. 138-154. by Hidehiko Masuhara, Akinori Yonezawa posted to partial-evaluation by nikomatsakis on 2006-03-30 09:00:05 as
	Partial Evaluation for Class-Based Object-Oriented Languages [My Copy] In PADO '01: Proceedings of the Second Symposium on Programs as Data Objects (2001), pp. 173-197. by Ulrik P. Schultz posted to partial-evaluation by nikomatsakis on 2006-03-30 08:59:43 as
	Binding-time analysis and the taming of C pointers [My Copy] In PEPM '93: Proceedings of the 1993 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation (1993), pp. 47-58. by Lars O. Andersen posted to partial-evaluation by nikomatsakis on 2006-03-30 08:57:55 as
	Supporting objects in run-time bytecode specialization [My Copy] In ASIA-PEPM '02: Proceedings of the ASIAN symposium on Partial evaluation and semantics-based program manipulation (2002), pp. 50-60. by Reynald Affeldt, Hidehiko Masuhara, Eijiro Sumii, Akinori Yonezawa posted to java object-oriented partial-evaluation by nikomatsakis on 2006-03-30 08:56:59 as
	An introduction to partial evaluation [My Copy] ACM Comput. Surv., Vol. 28, No. 3. (September 1996), pp. 480-503. by Neil D. Jones posted to partial-evaluation by JeffreyPalmer on 2006-03-22 15:13:00 as along with 3 people myui tautologico alphabetagamma
	Converting interpreters into compilers [My Copy] Softw. Pract. Exper., Vol. 18, No. 6. (June 1988), pp. 509-527. by Frank G. Pagan posted to partial-evaluation by JeffreyPalmer on 2006-03-03 22:18:59 as along with 1 person tautologico
	Tutorial notes on partial evaluation [My Copy] In POPL '93: Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1993), pp. 493-501. by Charles Consel, Olivier Danvy posted to partial-evaluation by tautologico on 2006-03-02 18:04:24 as along with 1 person JeffreyPalmer
	Duplication and partial evaluation --- for a better understanding of reflective languages - [My Copy] Lisp and Symbolic Computation, Vol. 9, No. 2/3. (/ 1996), pp. 203-241. by Kenichi Asai, Satoshi Matsuoka, Akinori Yonezawa posted to black blonde brown partial-evaluation reflection by dalev to the group NU-PRL on 2005-08-02 03:58:04 as along with 1 person Benja
	Pre-Scheme: A Scheme Dialect for Systems Programming [My Copy] by R. Kelsey posted to compilers language-implementation partial-evaluation scheme by JeffreyPalmer on 2005-05-16 18:36:26 as along with 2 people hamish pejo
	Representation-based just-in-time specialization and the psyco prototype for python [My Copy] In PEPM '04: Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation (2004), pp. 15-26. by Armin Rigo posted to compilers partial-evaluation python by twleung on 2004-12-30 05:10:35 along with 4 people and 1 group sourada dherman kschiess yang NU-PRL
	Eta-expansion does the trick [My Copy] ACM Transactions on Programming Languages and Systems, Vol. 18, No. 6. (1996), pp. 730-751. by Olivier Danvy, Karoline Malmkj\aer, Jens Palsberg posted to partial-evaluation by twleung on 2004-12-25 10:10:16 along with 1 person and 1 group dherman NU-PRL
	The Essence of Eta-Expansion in Partial Evaluation [My Copy] Lisp and Symbolic Computation, Vol. 8, No. 3. (1995), pp. 209-227. by Olivier Danvy, Karoline Malmkj\aer, Jens Palsberg posted to partial-evaluation by twleung on 2004-12-25 10:09:59 along with 1 person and 1 group dherman NU-PRL
	From Polyvariant Flow Information to Intersection and Union Types [My Copy] In Conference Record of POPL 98: The 25TH ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Diego, California (1998), pp. 197-208. by Jens Palsberg, Christina Pavlopoulou posted to partial-evaluation by twleung on 2004-12-25 10:09:42 along with 1 person and 1 group dherman NU-PRL
	The Essence of LR Parsing [My Copy] In Partial Evaluation and Semantic-Based Program Manipulation (1995), pp. 146-155. by Michael Sperber, Peter Thiemann posted to parsing partial-evaluation by dherman to the group NU-PRL on 2004-12-22 14:59:47
	Generation of LR parsers by partial evaluation [My Copy] ACM Transactions on Programming Languages and Systems, Vol. 22, No. 2. (2000), pp. 224-264. by Michael Sperber, Peter Thiemann posted to parsing partial-evaluation by dherman to the group NU-PRL on 2004-12-22 14:59:11

Note: You may cite this page as: http://www.citeulike.org/tag/partial-evaluation

staged-programming	6
compiler	5
compilers	5
language-implementation	5
logic-programming	5
monads	4
parsing	4
python	3
atr	2
black	2
blonde	2
brown	2
cfa	2
dynamic-typing	2
eval	2
fitness	2
fpga	2
functional-decomposition	2
futamura-projection	2
hardcopy	2
jit	2
multi-stage-languages	2
on-line	2
program-transformation	2
reflection	2
specific	2
staging	2
static-analysis	2
strong-normalization	2
week9	2
computational	1
deforestation	1
dsel	1
edas	1
evaluation	1
evaluator	1
formalization	1
functional	1
generalized-partial-computation	1
genetic-algorithms	1
haskell	1
implementation	1
java	1
multilang	1
multiobjective	1
normalization	1
object-oriented	1
off-line	1
optimization	1
project-phd-thesis	1
runtime	1
scheme	1
security	1
specialization	1
supercompilation	1
tagless	1
transformation	1
type-checking	1
type-classes	1
type-inference	1

Tag partial-evaluation [49 articles] Export

Related Tags