Catalog > Sciences > Math > Gopal Gupta & Ricardo Pena: Logic-Based Program Synthesis and Transformation (PDF)

Gopal Gupta & Ricardo Pena
Logic-Based Program Synthesis and Transformation [PDF ebook]
23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers

Support

Cover of Gopal Gupta & Ricardo Pena: Logic-Based Program Synthesis and Transformation (PDF)

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.

€51.45

Buy this ebook and get 1 more FREE!

Language English ● Format PDF ● ISBN 9783319141251 ● Editor Gopal Gupta & Ricardo Pena ● Publisher Springer International Publishing ● Published 2015 ● Downloadable 3 times ● Currency EUR ● ID 6303147 ● Copy protection Adobe DRM

Requires a DRM capable ebook reader

More ebooks from the same author(s) / Editor

Gopal Gupta Ricardo Pena

48,927 Ebooks in this category

Cover of Millie Pant & Pratiksha Saxena: Problem Solving and Uncertainty Modeling through Optimization and Soft Computing Applications

Millie Pant & Pratiksha Saxena: Problem Solving and Uncertainty Modeling through Optimization and Soft Computing Applications

Cover of Don Redmond: Number Theory

Don Redmond: Number Theory

This text provides a detailed introduction to number theory, demonstrating how other areas of mathematics enter into the study of the properties of natural numbers. It contains problem sets within ea …

Cover of Walter Ricardo (University of the Republic, Uruguay) Ferrer Santos & Alvaro (University of the Republic, Uruguay) Rittatore: Actions and Invariants of Algebraic Groups

Walter Ricardo (University of the Republic, Uruguay) Ferrer Santos & Alvaro (University of the Republic, Uruguay) Rittatore: Actions and Invariants of Algebraic Groups

Actions and Invariants of Algebraic Groups, Second Edition presents a self-contained introduction to geometric invariant theory starting from the basic theory of affine algebraic groups and proceedin …

Cover of Daniele (University of Roma Tor Vergata, Rome, Italy) Bertaccini & Fabio (Universita degli Studi dell'Insubria, Dipartimento di Scienza ed Alta Tecnologia, Como, Italy) Durastante: Iterative Methods and Preconditioning for Large and Sparse Linear Systems

Daniele (University of Roma Tor Vergata, Rome, Italy) Bertaccini & Fabio (Universita degli Studi dell’Insubria, Dipartimento di Scienza ed Alta Tecnologia, Como, Italy) Durastante: Iterative Methods and Preconditioning for Large and Sparse Linear Systems

This book describes, in a basic way, the most useful and effective iterative solvers and appropriate preconditioning techniques for some of the most important classes of large and sparse linear syste …

Cover of Franklin Y. (University of Missouri, Rolla, Missouri, USA) Cheng: Matrix Analysis of Structural Dynamics

Franklin Y. (University of Missouri, Rolla, Missouri, USA) Cheng: Matrix Analysis of Structural Dynamics

Uses state-of-the-art computer technology to formulate displacement method with matrix algebra. Facilitates analysis of structural dynamics and applications to earthquake engineering and UBC and IBC …

Cover of Alexander (GIST College, Gwangju Institute of Science and Technology, South Korea) Stoimenow: Diagram Genus, Generators, and Applications

Alexander (GIST College, Gwangju Institute of Science and Technology, South Korea) Stoimenow: Diagram Genus, Generators, and Applications

In knot theory, diagrams of a given canonical genus can be described by means of a finite number of patterns (‘generators’). Diagram Genus, Generators and Applications presents a self-contained accou …

Cover of Mathias Drton & Steffen Lauritzen: Handbook of Graphical Models

Mathias Drton & Steffen Lauritzen: Handbook of Graphical Models

A graphical model is a statistical model that is represented by a graph. The factorization properties underlying graphical models facilitate tractable computation with multivariate distributions, mak …

Cover of Edward Dougherty: Mathematical Morphology in Image Processing

Edward Dougherty: Mathematical Morphology in Image Processing

Presents the statistical analysis of morphological filters and their automatic optical design, the development of morphological features for image signatures, and the design of efficient morphologica …

Cover of Daniel (University of Iowa, Iowa City, USA) Anderson & Ira J. (University of Missouri, Columbia, USA) Patrick: Ideal Theoretic Methods in Commutative Algebra

Daniel (University of Iowa, Iowa City, USA) Anderson & Ira J. (University of Missouri, Columbia, USA) Patrick: Ideal Theoretic Methods in Commutative Algebra

Includes current work of 38 renowned contributors that details the diversity of thought in the fields of commutative algebra and multiplicative ideal theory. Summarizes recent findings on classes of …

Cover of Yunho Hwang & Reinhard Radermacher: Vapor Compression Heat Pumps with Refrigerant Mixtures

Yunho Hwang & Reinhard Radermacher: Vapor Compression Heat Pumps with Refrigerant Mixtures

Amidst tightening requirements for eliminating CFC”s, HCFC”s, halons, and HFC”s from use in air conditioning and heat pumps, the search began for replacements that are environmentally benign, non- …