Logic-Based Program Synthesis and Transformation :: 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, revised selected papers /: edited by Gopal Gupta, Ricardo Peą.

Gupta, G.; Peña, Ricardo,

doi:10.1007/978-3-319-14125-1

Logic-Based Program Synthesis and Transformation : 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, revised selected papers / edited by Gopal Gupta, Ricardo Peą.

LOPSTR (Symposium) (23rd : 2013 : Madrid, Spain); Gupta, G. (Gopal), 1963- editor.; Peña, Ricardo, 1950- editor.

2014

QA76.63

Available Online

Formats

Format
BibTeX
MARCXML
TextMARC
MARC
DublinCore
EndNote
NLM
RefWorks
RIS

Add to Basket

Linked e-resources

Linked Resource

Online Access

Concurrent users

Unlimited

Authorized users

Document Delivery Supplied

Can lend chapters, not whole ebooks

Details

Title

Logic-Based Program Synthesis and Transformation : 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, revised selected papers / edited by Gopal Gupta, Ricardo Peą.

Meeting Name

LOPSTR (Symposium) (23rd : 2013 : Madrid, Spain)

ISBN

9783319141251 (electronic book)
3319141252 (electronic book)
9783319141244
3319141244

DOI

https://doi.org/10.1007/978-3-319-14125-1

Published

Cham : Springer, [2014]

Copyright

Language

English

Description

1 online resource (xii, 236 pages) : illustrations.

Item Number

10.1007/978-3-319-14125-1 doi

Call Number

QA76.63

Dewey Decimal Classification

005.11

Summary

This book constitutes the thoroughly refereed post-conference proceedings of the 23rd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2013, held in Madrid, Spain, in September 2013. The 13 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 21 submissions during two rounds of reviewing and improvement. LOPSTR traditionally solicits papers in the areas of specification, synthesis, verification, transformation, analysis, optimization, composition, security, reuse, applications and tools, component-based software development, software architectures, agent-based software development, and program refinement.

Bibliography, etc. Note

Includes bibliographical references and author index.

Access Note

Access limited to authorized users.

Digital File Characteristics

text file PDF

Added Author

Gupta, G. (Gopal), 1963- editor.
Peña, Ricardo, 1950- editor.

Series

LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Lecture notes in computer science ; 8901.

Available in Other Form

Logic-based program synthesis and transformation.