Functional and Constraint Logic Programming 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers /

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Escobar, Santiago (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.
Edición:1st ed. 2010.
Colección:Theoretical Computer Science and General Issues, 5979
Temas:
Machine theory.
Software engineering.
Computer science.
Compilers (Computer programs).
Artificial intelligence.
Formal Languages and Automata Theory.
Software Engineering.
Computer Science Logic and Foundations of Programming.
Compilers and Interpreters.
Artificial Intelligence.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • Invited Papers
  • Programming with Multiple Paradigms in Lua
  • Constraint Based Strategies
  • Contributed Papers
  • Integrating ILOG CP Technology into
  • Termination of Context-Sensitive Rewriting with Built-In Numbers and Collection Data Structures
  • Semantic Labelling for Proving Termination of Combinatory Reduction Systems
  • A Taxonomy of Some Right-to-Left String-Matching Algorithms
  • Type Checking and Inference Are Equivalent in Lambda Calculi with Existential Types
  • Fast and Accurate Strong Termination Analysis with an Application to Partial Evaluation
  • New Results on Type Systems for Functional Logic Programming
  • A Simple Region Inference Algorithm for a First-Order Functional Language
  • A Theoretical Framework for the Declarative Debugging of Functional Logic Programs with Lambda Abstractions.

Ejemplares similares