skip to main content
Idioma:
Primo Search
Clear Search Box
Search in: Busca Geral
Busca Avançada
Busca por Índices
Tipo de recurso Mostra resultados com: Mostra resultados com: Índice

Logic program synthesis and transformation 7th international workshop, LOPSTR'97, Leuven, Belgium, July 10-12, 1997 : proceedings

International Workshop on Logic Program Synthesis and Transformation (1997 Leuven, Belgium) N. E Fuchs (Norbert E.)

Berlin New York Springer c1998

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

  • Título:
    Logic program synthesis and transformation 7th international workshop, LOPSTR'97, Leuven, Belgium, July 10-12, 1997 : proceedings
  • Autor: International Workshop on Logic Program Synthesis and Transformation (1997 Leuven, Belgium)
  • N. E Fuchs (Norbert E.)
  • Assuntos: Logic programming -- Congresses; TÉCNICAS DE PROGRAMAÇÃO (CONGRESSOS); LÓGICA MATEMÁTICA; METODOLOGIA E TÉCNICAS DE COMPUTAÇÃO
  • Notas: Includes bibliographical references and index
  • Descrição: A multi-level approach to program synthesis / W. Bibel ... [et al.] -- Programs without failures / A. Bossi, N. Cocco -- Generalised logic program transformation schemas / H. Büyükyildiz, P. Flener -- Logic program schemas, constraints andsemi-unification / E. Chasseur, Y. Deville -- Implicit program synthesis by a reversible metainterpreter / H. Christiansen -- Termination analysis for tabled logic programming / S. Decorte ... [et al.] -- On correct program schemas / P. Flener,K.-K. Lau, M. Ornaghi -- Analysis of logic programs with delay / A. Heaton, P. Hill, A. King -- Constraint-based partial evaluation of rewriting-based functional logic programs / L. Lafave, J.P. Gallagher -- Preserving termination of tabledlogic programs while unfolding / M. Leuschel, B. Martens, K. Sagonas -- Unfolding the mystery of Mergesort / N. Lindenstrauss, Y. Sagiv, A. Serebrenik -- Towards a logic for reasoning about logic programs transformation / A. Momigliano, M.Ornaghi -- A higher order reconstruction of stepwise enhancement / L. Naish, L. Sterling -- Development of correct transformation schemata for prolog programs / J. Richardson, N.E. Fuchs -- Constrained regular approximation of logic programs /H. Saglam, J.P. Gallagher -- A logic framework for the incremental inductive synthesis of datalog theories / G. Semeraro ... [et al.] -- To parse or not to parse / W. Vanhoof, B. Martens
  • Títulos relacionados: Série:Lecture notes in computer science 1463
  • Editor: Berlin New York Springer
  • Data de criação/publicação: c1998
  • Formato: x, 342 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.