Partial evaluation in logic programmingLLOYD, J. W; SHEPHERDSON, J. C.The Journal of logic programming. 1991, Vol 11, Num 3-4, pp 217-242, issn 0743-1066Article

Partial evaluation of computation process, revisitedFUTAMURA, Y.Higher-order and symbolic computation. 1999, Vol 12, Num 4, pp 377-380, issn 1388-3690Article

Contrôle de la Démonstration Automatique de Théorèmes, Construction de Contre-modèles et Applications en Intelligence Artificielle = Control of automated deduction, counter-models Construction, and Applications in Artificia IntelligenceDe Siqueira, José; Kodratoff, Yves.1992, 120 p.Thesis

Automatic autoprojection of recursive equations with global variables and abstract data typesBONDORF, A; DANVY, O.Science of computer programming. 1991, Vol 16, Num 2, pp 151-195, issn 0167-6423Article

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

Le contrôle de la réécriture : étude et implantation d'un formalisme de stratégies = Controlling Rewriting : study and implementation of a strategy formalismBorovansky, Peter; Kirchner, Hélène.1998, 176 p.Thesis

From partial evaluation to mixed computationBULYONKOV, M. A.Theoretical computer science. 1991, Vol 90, Num 1, pp 47-60, issn 0304-3975Article

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

Integrating theorem proving and partial evaluation techniques for organic synthesis and teachingYUDONG SUN; HATON, M.-C; DEVIN, B et al.New journal of chemistry (1987). 1990, Vol 14, Num 12, pp 941-944, issn 1144-0546Article

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

Une approche automatique à la spécialisation de composants système = An Automatic Approach to Specializing System ComponentsVolanschi, Eugen N; Consel, Charles.1998, 122 p.Thesis

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

Computing Tutte PolynomialsHAGGARD, Gary; PEARCE, David J; ROYLE, Gordon et al.ACM transactions on mathematical software. 2011, Vol 37, Num 3, issn 0098-3500, 24:1-24:17Article

A Similarity Measure for Image and Volumetric Data Based on Hermann Weyl's DiscrepancyMOSER, Bernhard A.IEEE transactions on pattern analysis and machine intelligence. 2011, Vol 33, Num 11, pp 2321-2329, issn 0162-8828, 9 p.Article

Partially Evaluated Sensor Networks: Automatic Specialization for Heterogeneous Wireless Sensor & Actuator NetworksEVERS, Leon; KUPER, Jan.ACM SIGPLAN Symposium on Partial Evaluation and Program Manipulation. 2009, pp 73-80, isbn 978-1-60558-327-3, 1Vol, 8 p.Conference Paper

Approximate algorithms for credal networks with binary variablesSHINSUKE IDE, Jaime; GAGLIARDI COZMAN, Fabio.International journal of approximate reasoning. 2008, Vol 48, Num 1, pp 275-296, issn 0888-613X, 22 p.Article

Flow analysis of lazy higher-order functional programsJONES, Neil D; ANDERSEN, Nils.Theoretical computer science. 2007, Vol 375, Num 1-3, pp 120-136, issn 0304-3975, 17 p.Article

Fast partial evaluation of pattern matching in stringsSIG AGER, Mads; DANVY, Olivier; KORSHOLM ROHDE, Henning et al.ACM transactions on programming languages and systems. 2006, Vol 28, Num 4, pp 696-714, issn 0164-0925, 19 p.Article

Evaluation of partial file modification for Java-based realtime communication systemsYAMADA, Tetsuyasu; SUNAGA, Hiroshi; TANAKA, Shinji et al.IEICE transactions on communications. 2005, Vol 88, Num 10, pp 3982-3991, issn 0916-8516, 10 p.Article

Page / 6