Optimising active database rules by partial evaluation and abstract interpretationBAILEY, James; POULOVASSILIS, Alexandra; COURTENAGE, Simon et al.Lecture notes in computer science. 2002, pp 300-317, issn 0302-9743, isbn 3-540-44080-1, 18 p.Conference Paper

WSDFU: Program transformation system based on Generalized Partial ComputationFUTAMURA, Yoshihiko; KONISHI, Zenjiro; GLÜCK, Robert et al.The essence of computation (complexity, analysis, transformation). Lecture notes in computer science. 2002, pp 358-378, issn 0302-9743, isbn 3-540-00326-6, 21 p.Book Chapter

A formai relationship between program slicing and partial evaluationBINKLEY, David W; DANICIC, Sebastian; HARMAN, Mark et al.Formal aspects of computing. 2006, Vol 18, Num 2, pp 103-119, issn 0934-5043, 17 p.Article

Axioms for delimited continuations in the CPS hierarchyKAMEYAMA, Yukiyoshi.Lecture notes in computer science. 2004, pp 442-457, issn 0302-9743, isbn 3-540-23024-6, 16 p.Conference Paper

On extracting static semanticsHANNAN, John.The essence of computation (complexity, analysis, transformation). Lecture notes in computer science. 2002, pp 157-171, issn 0302-9743, isbn 3-540-00326-6, 15 p.Book Chapter

A replanning algorithm for a reactive agent architectureBOELLA, Guido; DAMIANO, Rossana.Lecture notes in computer science. 2002, pp 183-192, issn 0302-9743, isbn 3-540-44127-1, 10 p.Conference Paper

Removing reflection from Java programs using partial evaluationJUNG GYU PARK; LEE, Arthur H.Lecture notes in computer science. 2001, pp 274-275, issn 0302-9743, isbn 3-540-42618-3Conference Paper

The translation power of the Futamura projectionsGLIICK, Robert.Lecture notes in computer science. 2003, pp 133-147, issn 0302-9743, isbn 3-540-20813-5, 15 p.Conference Paper

Partial evaluation of pattern matching in stringsCONSEL, C; DANVY, O.Information processing letters. 1989, Vol 30, Num 2, pp 79-86, issn 0020-0190Article

Alias Analysis for Optimization of Dynamic LanguagesGORBOVITSKI, Michael; LIU, Yanhong A; STOLLER, Scott D et al.ACM SIGPLAN notices. 2010, Vol 45, Num 12, pp 27-41, issn 1523-2867, 15 p.Conference Paper

Dynamic Binary Translation Specialized for Embedded SystemsKONDOH, Goh; KOMATSU, Hideaki.ACM SIGPLAN notices. 2010, Vol 45, Num 7, pp 157-166, issn 1523-2867, 10 p.Conference Paper

Mint: Java Multi-stage Programming Using Weak SeparabilityWESTBROOK, Edwin; RICKEN, Mathias; INOUE, Jun et al.ACM SIGPLAN notices. 2010, Vol 45, Num 6, pp 400-411, issn 1523-2867, 12 p.Conference Paper

Provably-correct hardware compilation tools based on pass separation techniquesMCKEEVER, Steve; LUK, Wayne.Formal aspects of computing. 2006, Vol 18, Num 2, pp 120-142, issn 0934-5043, 23 p.Article

A binding scope analysis for generic programs on arraysGRELCK, Clemens; SCHOLZ, Sven-Bodo; SHAFARENKO, Alex et al.Lecture notes in computer science. 2006, pp 212-230, issn 0302-9743, isbn 3-540-69174-X, 1Vol, 19 p.Conference Paper

Termination analysis and specialization-point insertion in offline partial evaluationGLENSTRUP, Arne John; JONES, Neil D.ACM transactions on programming languages and systems. 2005, Vol 27, Num 6, pp 1147-1215, issn 0164-0925, 69 p.Article

The traits of the personableRAMAKRISHNAN, Naren.Lecture notes in computer science. 2005, pp 53-68, issn 0302-9743, isbn 3-540-29846-0, 1Vol, 16 p.Conference Paper

LIX: an effective self-applicable Partial evaluator for prologCRAIG, Stephen-John; LEUSCHEL, Michael.Lecture notes in computer science. 2004, pp 85-99, issn 0302-9743, isbn 3-540-21402-X, 15 p.Conference Paper

Program adaptation via output-constraint specializationKHOO, Siau-Cheng; SHI, Kun.Higher-order and symbolic computation. 2004, Vol 17, Num 1-2, pp 93-128, issn 1388-3690, 36 p.Article

Analysing AI planning problems in linear logic: A partial deduction approachKÜNGAS, Peep.Lecture notes in computer science. 2004, pp 52-61, issn 0302-9743, isbn 3-540-23237-0, 10 p.Conference Paper

Continuation-based partial evaluation without continuationsTHIEMANN, Peter.Lecture notes in computer science. 2003, pp 366-382, issn 0302-9743, isbn 3-540-40325-6, 17 p.Conference Paper

Meta-programming with names and necessityNANEVSKI, Aleksandar.ACM SIGPLAN notices. 2002, Vol 37, Num 9, pp 206-217, issn 1523-2867, 12 p.Conference Paper

Memoization in type-directed partial evaluationBALAT, Vincent; DANVY, Olivier.Lecture notes in computer science. 2002, pp 78-92, issn 0302-9743, isbn 3-540-44284-7, 15 p.Conference Paper

A hybrid approach to online and offline partial evaluationSUMII, Eijiro; KOBAYASHI, Naoki.Higher-order and symbolic computation. 2001, Vol 14, Num 2-3, pp 101-142, issn 1388-3690Article

Partial evaluation of concurrent programsMARTEL, Matthieu; GENGLER, Marc.Lecture notes in computer science. 2001, pp 504-513, issn 0302-9743, isbn 3-540-42495-4Conference Paper

Partial Evaluation for Distributed XPath Query Processing and BeyondGAO CONG; WENFEI FAN; KEMENTSIETSIDIS, Anastasios et al.ACM transactions on database systems. 2012, Vol 37, Num 4, issn 0362-5915, 32.1-32.43Article