Catalogo Articoli (Spogli Riviste)

HELP
ATTENZIONE: attualmente gli articoli Current Contents (fonte ISI) a partire dall'anno 2002 sono consultabili sulla Risorsa On-Line

Le informazioni sugli articoli di fonte ISI sono coperte da copyright

La ricerca find articoli where soggetti phrase all words 'partial evaluation' sort by level,fasc_key/DESCEND, pagina_ini_num/ASCEND ha restituito 44 riferimenti
Selezionare un intervallo

Per ulteriori informazioni selezionare i riferimenti di interesse.

    1. Schnarr, EC; Hill, MD; Larus, JR
      Facile: A language and compiler for high-performance processor simulators

      ACM SIGPLAN NOTICES
    2. Lee, CS; Jones, ND; Ben-Amram, AM
      The size-change principle for program termination

      ACM SIGPLAN NOTICES
    3. Susanto, KW; Melham, T
      Formally analyzed dynamic synthesis of hardware

      JOURNAL OF SUPERCOMPUTING
    4. Muller, M
      Partial order bounding: A new approach to evaluation in game tree search

      ARTIFICIAL INTELLIGENCE
    5. Damian, D; Danvy, O
      Syntactic accidents in program analysis: On the impact of the CPS transformation

      ACM SIGPLAN NOTICES
    6. Song, LT; Futamura, Y; Gluck, R; Hu, ZJ
      Loop quasi-invariance code motion

      IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS
    7. Hornof, L; Noye, J
      Accurate binding-time analysis for imperative languages: flow, context, and return sensitivity

      THEORETICAL COMPUTER SCIENCE
    8. Heldal, R; Hughes, J
      Extending a partial evaluator which supports separate compilation

      THEORETICAL COMPUTER SCIENCE
    9. Grant, B; Mock, M; Philipose, M; Chambers, C; Eggers, SJ
      DyC: an expressive annotation-directed dynamic compiler for C

      THEORETICAL COMPUTER SCIENCE
    10. Muller, G; Marlet, R; Volanschi, EN
      Accurate program analyses for successful specialization of legacy system software

      THEORETICAL COMPUTER SCIENCE
    11. Danvy, O; Schultz, UP
      Lambda-dropping: transforming recursive equations into programs with blockstructure

      THEORETICAL COMPUTER SCIENCE
    12. Sperber, M; Thiemann, P
      Generation of LR parsers by partial evaluation

      ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS
    13. De Schreye, D; Gluck, R; Jorgensen, J; Leuschel, M; Martens, B; Sorensen, MH
      Conjunctive partial deduction: foundations, control, algorithms, and experiments

      JOURNAL OF LOGIC PROGRAMMING
    14. Puebla, G; Hermenegildo, M
      Abstract multiple specialization and its application to program parallelization

      JOURNAL OF LOGIC PROGRAMMING
    15. Johnson, CA
      On cyclic covers and perfect models

      DATA & KNOWLEDGE ENGINEERING
    16. Meyer, U
      Correctness of on-line partial evaluation for a Pascal-like language

      SCIENCE OF COMPUTER PROGRAMMING
    17. Thibault, SA; Marlet, R; Consel, C
      Domain-specific languages: From design to implementation application to video device drivers generation

      IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
    18. Reeves, AC; Rattray, C
      A sketch-based technique for the derivation of self-interpreters

      COMPUTER LANGUAGES
    19. TOMASIC A; RASCHID L; VALDURIEZ P
      SCALING ACCESS TO HETEROGENEOUS DATA SOURCES WITH DISCO

      IEEE transactions on knowledge and data engineering
    20. GLUCK R; KLIMOV A
      ON THE DEGENERATION OF PROGRAM GENERATORS BY PROGRAM COMPOSITION

      New generation computing
    21. LEUSCHEL M; MARTENS B; DESCHREYE D
      CONTROLLING GENERALIZATION AND POLYVARIANCE IN PARTIAL DEDUCTION OF NORMAL LOGIC PROGRAMS

      ACM transactions on programming languages and systems
    22. Alpuente, M; Falaschi, M; Vidal, G
      Partial evaluation of functional logic programs

      ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS
    23. ANDREOLI JM; PARESCHI R; CASTAGNETTI T
      STATIC ANALYSIS OF LINEAR LOGIC PROGRAMMING

      New generation computing
    24. BERGSTRA JA; DINESH TB; FIELD J; HEERING J
      TOWARD A COMPLETE TRANSFORMATIONAL TOOLKIT FOR COMPILERS

      ACM transactions on programming languages and systems
    25. NOVAK GS
      SOFTWARE REUSE BY SPECIALIZATION OF GENERIC PROCEDURES THROUGH VIEWS

      IEEE transactions on software engineering
    26. DIEHL S
      AN EXPERIMENT IN ABSTRACT MACHINE-DESIGN

      Software, practice & experience
    27. GLUCK R; KLIMOV A
      A REGENERATION SCHEME FOR GENERATING EXTENSIONS

      Information processing letters
    28. SPERBER M; THIEMANN P
      2 FOR THE PRICE OF ONE - COMPOSING PARTIAL EVALUATION AND COMPILATION

      ACM SIGPLAN NOTICES
    29. HELDAL R; HUGHES J
      PARTIAL EVALUATION AND SEPARATE COMPILATION

      ACM SIGPLAN NOTICES
    30. GENGLER M; MARTEL M
      SELF-APPLICABLE PARTIAL EVALUATION FOR THE PI-CALCULUS

      ACM SIGPLAN NOTICES
    31. MARINESCU M; GOLDBERG B
      PARTIAL-EVALUATION TECHNIQUES FOR CONCURRENT PROGRAMS

      ACM SIGPLAN NOTICES
    32. BESHERS C; FEINER S
      GENERATING EFFICIENT VIRTUAL WORLDS FOR VISUALIZATION USING PARTIAL EVALUATION AND DYNAMIC COMPILATION

      ACM SIGPLAN NOTICES
    33. AUGUSTSSON L
      PARTIAL EVALUATION IN AIRCRAFT CREW PLANNING

      ACM SIGPLAN NOTICES
    34. ALPUENTE M; FALASCHI M; JULIAN P; VIDAL G
      SPECIALIZATION OF LAZY FUNCTIONAL LOGIC PROGRAMS

      ACM SIGPLAN NOTICES
    35. JONES ND
      AN INTRODUCTION TO PARTIAL EVALUATION

      ACM computing surveys
    36. FULLER DA; BOCIC SA; BERTOSSI LE
      TOWARDS EFFICIENT PARTIAL EVALUATION IN LOGIC PROGRAMMING

      New generation computing
    37. DANVY O; MALMKJAER K; PALSBERG J
      ETA-EXPANSION DOES THE TRICK

      ACM transactions on programming languages and systems
    38. THIEMANN PJ
      COGEN IN 6 LINES

      ACM SIGPLAN NOTICES
    39. SPERBER M; THIEMANN P
      REALISTIC COMPILATION BY PARTIAL EVALUATION

      ACM SIGPLAN NOTICES
    40. DEVINSKY O; FAUGHT RE; WILDER BJ; KANNER AM; KAMIN M; KRAMER LD; ROSENBERG A
      EFFICACY OF FELBAMATE MONOTHERAPY IN PATIENTS UNDERGOING PRESURGICAL EVALUATION OF PARTIAL SEIZURES

      Epilepsy research
    41. BOTTONI P; MUSSIO P; PROTTI M
      METAREASONING IN THE DETERMINATION OF IMAGE INTERPRETATION STRATEGIES

      Pattern recognition letters
    42. SAHLIN D
      MIXTUS - AN AUTOMATIC PARTIAL EVALUATOR FOR FULL PROLOG

      New generation computing
    43. CONSEL C; KHOO SC
      PARAMETERIZED PARTIAL EVALUATION

      ACM transactions on programming languages and systems
    44. GOMARD CK
      A SELF-APPLICABLE PARTIAL EVALUATOR FOR THE LAMBDA-CALCULUS - CORRECTNESS AND PRAGMATICS

      ACM transactions on programming languages and systems


ASDD Area Sistemi Dipartimentali e Documentali, Università di Bologna, Catalogo delle riviste ed altri periodici
Documento generato il 30/05/20 alle ore 07:08:51