Logic-Based Program Synthesis and Transformation 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers /

This book constitutes the thoroughly refereed post-conference proceedings of the 25th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2015, held in Siena, Italy, in July 2015. The 21 revised full papers presented together with 3 invited talks were carefully review...

Full description

Bibliographic Details
Call Number:Libro Electrónico
Corporate Author: SpringerLink (Online service)
Other Authors: Falaschi, Moreno (Editor)
Format: Electronic eBook
Language:Inglés
Published: Cham : Springer International Publishing : Imprint: Springer, 2015.
Edition:1st ed. 2015.
Series:Theoretical Computer Science and General Issues, 9527
Subjects:
Computer science.
Software engineering.
Machine theory.
Artificial intelligence.
Computer science-Mathematics.
Discrete mathematics.
Computer Science Logic and Foundations of Programming.
Software Engineering.
Formal Languages and Automata Theory.
Artificial Intelligence.
Discrete Mathematics in Computer Science.
Online Access:Texto Completo
Table of Contents:
  • Semantics of Logic Languages
  • Ecient compilation of functional logic programs
  • Types and security
  • Optimization
  • Static analysis
  • Automated Verication
  • Program debugging and slicing
  • Smart Environments
  • Program Transformation
  • Constraint Solving and Programming. .

Similar Items