Logic-based program synthesis and transformation : 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised selected papers /: 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised selected papers. (2015)

• Record Type: Book
• Other Titles: LOPSTR 2015
• Further Information: Note: Moreno Falaschi (eds.).
• Editors: Falaschi, Moreno
• Other Names: LOPSTR (Symposium), 25th
• 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.
• Publisher Details: Cham : Springer
• Publication Date: 2015
• Extent: 1 online resource (xvii, 385 pages), color illustrations
• Subjects: 005.1/15; Computer science; Logic programming -- Congresses; Computer logic -- Congresses; Computer software -- Development -- Congresses; Computer logic; Computer software -- Development; Logic programming; Computer Science; Engineering & Applied Sciences; Computers -- Software Development & Engineering -- General; Mathematics -- Logic; Computers -- Intelligence (AI) & Semantics; Computers -- Data Processing; Software Engineering; Mathematical theory of computation; Artificial intelligence; Discrete mathematics; Logic design; Software engineering; Artificial intelligence; Computational complexity; Computers -- Programming -- General; Computer programming / software development; Electronic books; Conference papers and proceedings; Electronic books
• Languages: English
• ISBNs: 9783319274362; 3319274368
• Related ISBNs: 9783319274355; 331927435X
• Notes: Note: Includes bibliographical references and author index.; Note: Online resource; title from PDF title page (SpringerLink, viewed December 30, 2015).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.