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

Linked e-resources

Linked Resource Online Access
Concurrent users Unlimited
Authorized users 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 ©2014
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.
Linked Resources Online Access
Record Appears in Online Resources > Ebooks
All Resources
Specification
Synthesis
Verification
Analysis
Optimization
Specialization
Security
Certification
Applications and tools
Program/model manipulation
Transformation techniques for any programming language paradigm.

Browse Subjects

Show more subjects...

Statistics

from
to
Export