Limit search to available items
Book Cover
Author LOPSTR (Symposium) (25th : 2015 : Siena, Italy)

Title Logic-based program synthesis and transformation : 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised selected papers / Moreno Falaschi (eds.)
Published Cham : Springer, 2015


Description 1 online resource (xvii, 385 pages) : color illustrations
Series Lecture notes in computer science, 0302-9743 ; 9527
LNCS sublibrary. SL 1, Theoretical computer science and general issues
Lecture notes in computer science ; 9527. 0302-9743
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
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
Summary 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 reviewed and selected from 30 submissions. The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large
Bibliography Includes bibliographical references and author index
Notes English
Online resource; title from PDF title page (SpringerLink, viewed December 30, 2015)
Subject Logic programming -- Congresses
Computer logic -- Congresses
Computer software -- Development -- Congresses
Software Engineering.
Mathematical theory of computation.
Artificial intelligence.
Discrete mathematics.
Computer programming -- software development.
Computers -- Software Development & Engineering -- General.
Mathematics -- Logic.
Computers -- Intelligence (AI) & Semantics.
Computers -- Data Processing.
Computers -- Programming -- General.
Computer logic.
Computer software -- Development.
Logic programming.
Genre/Form Conference papers and proceedings.
Conference papers and proceedings.
Actes de congrès.
Form Electronic book
Author Falaschi, Moreno, editor
ISBN 9783319274362
Other Titles LOPSTR 2015