skip to main content
Idioma:
Primo Search
Clear Search Box
Search in: Busca Geral
Busca Avançada
Busca por Índices

Partial evaluation practice and theory : DIKU 1998 International Summer School, Copenhagen, Denmark, June 29-July 10, 1998

DIKU International Summer School on Partial Evaluation (1998 Copenhagen, Denmark) John Hatcliff 1966-; Torben Æ Mogensen 1960-; P Thiemann 1964- (Peter)

Berlin Springer New York c1999

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1706 e.1 )(Acessar)

  • Título:
    Partial evaluation practice and theory : DIKU 1998 International Summer School, Copenhagen, Denmark, June 29-July 10, 1998
  • Autor: DIKU International Summer School on Partial Evaluation (1998 Copenhagen, Denmark)
  • John Hatcliff 1966-; Torben Æ Mogensen 1960-; P Thiemann 1964- (Peter)
  • Assuntos: Computer software -- Evaluation; LINGUAGEM DE PROGRAMAÇÃO; METODOLOGIA E TÉCNICAS DE COMPUTAÇÃO
  • Notas: Includes bibliographical references and index
  • Descrição: Partial evaluation : concepts and applications / Torben Æ. Mogensen -- An introduction to online and offline partial evaluation using a simple flowchart language / John Hatcliff -- Similix : a self-applicable partial evaluator for scheme / JesperJørgensen -- C-Mix : specialization of C programs / Arne John Glenstrup, Henning Makholm, and Jens Peter Secher -- Logic program specialisation / Michael Leuschel -- Inherited limits / Torben Æ. Mogensen -- P artial evaluation for the lambdacalculus / Neil D. Jones, Carsten K. Gomard, Peter Sestoft -- Partial evaluation of hardware / Satnam Singh and Nicholas McKay -- Partial evaluation in aircraft crew planning / Lennart Augustsson -- Introduction to supercompilation / MortenHeine B. Sørensen and Robert Glück -- Advanced logic program specialisation / Michael Leuschel -- A type specialisation tutorial / John Hughes -- Multi-level specialization / Robert Glück and Jesper Jørgensen -- Faster Fourier transforms viaautomatic program specialization / Julia L. Lawall -- Eta-redexes in partial evaluation / Jens Palsberg -- Type-directed partial evaluation / Olivier Danvy -- Aspects o f the PGG system : specialization for standard scheme / Peter Thiemann
  • Títulos relacionados: Série:Lecture notes in computer science 1706
  • Editor: Berlin Springer New York
  • Data de criação/publicação: c1999
  • Formato: viii, 432 p. ill. 24 cm.
  • Idioma: Inglês
Links
Voltar para lista de resultados

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.