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

Programming Languages: Implementations, Logics, and Programs: 9th International Symposium, PLILP '97 Including a Special Track on Declarative Programming Languages in Education Southampton, UK, September 3–5, 1997 Proceedings

Glaser, Hugh ; Hartel, Pieter ; Kuchen, Herbert Kuchen, Herbert ; Hartel, Pieter ; Glaser, Hugh

Berlin, Heidelberg: Springer Berlin Heidelberg 1997

Texto completo disponível

Citações Citado por
  • Título:
    Programming Languages: Implementations, Logics, and Programs: 9th International Symposium, PLILP '97 Including a Special Track on Declarative Programming Languages in Education Southampton, UK, September 3–5, 1997 Proceedings
  • Autor: Glaser, Hugh ; Hartel, Pieter ; Kuchen, Herbert
  • Kuchen, Herbert ; Hartel, Pieter ; Glaser, Hugh
  • Assuntos: Artificial Intelligence ; Computer Science ; Logic design ; Logics and Meanings of Programs ; Mathematical Logic and Formal Languages ; Programming Languages, Compilers, Interpreters ; Programming Techniques
  • Descrição: This volume constitutes the refereed proceedings of the 9th International Symposium on Programming Languages, Implementations, Logics and Programs, PLILP '97, held in Southampton, UK, in September 1997, including a special track on Declarative Programming in Education. The volume presents 25 revised full papers selected from 68 submissions. Also included are one invited paper and three posters. The papers are devoted to exploring the relation between implementation techniques, the logic of the languages, and the use of the languages in construcing real programs. Topics of interest include implementation of declarative concepts, integration of paradigms, program analysis and transformation, programming environments, executable specifications, reasoning about language constructs, etc.
  • Títulos relacionados: Lecture Notes in Computer Science
  • Editor: Berlin, Heidelberg: Springer Berlin Heidelberg
  • Data de criação/publicação: 1997
  • Formato: XI, 428
  • Idioma: Inglês
Voltar para lista de resultados
Ir para página anteriorAnterior Resultado  8 AvançarIr para próxima página

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

Buscando em bases de dados remotas. Favor aguardar.