Logic-Based Program Synthesis and Transformation
Editat de Elvira Alberten Limba Engleză Paperback – 3 mai 2013
The 13 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 27 submissions. Among the topics covered are specification, synthesis, verification, analysis, optimization, specialization, security, certification, applications and tools, program/model manipulation, and transformation techniques for any programming language paradigm.
Preț: 410.12 lei
Preț vechi: 482.49 lei
-15%
Puncte Express: 615
Preț estimativ în valută:
72.54€ • 83.46$ • 62.64£
72.54€ • 83.46$ • 62.64£
Carte tipărită la comandă
Livrare economică 30 aprilie-14 mai
Specificații
ISBN-13: 9783642381966
ISBN-10: 3642381960
Pagini: 256
Ilustrații: X, 245 p. 36 illus.
Dimensiuni: 155 x 235 x 15 mm
Greutate: 0.39 kg
Ediția:2013
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3642381960
Pagini: 256
Ilustrații: X, 245 p. 36 illus.
Dimensiuni: 155 x 235 x 15 mm
Greutate: 0.39 kg
Ediția:2013
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
V-ar putea interesa
-
Elements of Set TheoryHerbert B. Enderton-33%Preț: 356.19 lei531.86 lei -
To Mock a Mockingbird: and Other Logic PuzzlesRaymond Smullyan-20%Preț: 73.99 lei92.76 lei -
DefinitionRichard Robinson-35%Preț: 718.23 lei1098.94 lei -
Twenty Five Years of Constructive Type TheoryGiovanni Sambin-39%Preț: 624.10 lei1018.67 lei -
-31%Preț: 424.52 lei616.15 lei -
-38%Preț: 62.05 lei100.10 lei -
-27%Preț: 683.97 lei936.94 lei -
Theory of Computational ComplexityDing-Zhu Du-9%Preț: 784.58 lei862.18 lei -
Mathematical Logic for Computer ScienceMordechai Ben-Ari-20%Preț: 378.09 lei472.62 lei -
Combinatorial Set Theory: With a Gentle Introduction to ForcingLorenz J. Halbeisen-19%Preț: 557.87 lei688.73 lei -
The Joy of SetsKeith Devlin-15%Preț: 420.01 lei494.14 lei -
Preț: 474.26 lei -
Sets, Logic and CategoriesPeter J. CameronPreț: 271.94 lei -
-18%Preț: 1080.84 lei1318.10 lei -
Lattice Theory: Special Topics and ApplicationsGeorge Grätzer-15%Preț: 625.50 lei735.87 lei
Public țintă
ResearchCuprins
Symbolic Evaluation Graphs and Term Rewriting — A General Methodology for Analyzing Logic Programs (Abstract).- An Introduction to Search Combinators.- A Declarative Pipeline Language for Complex Data Analysis.- Semantic Code Clones in Logic Programs.- Specialization with Constrained Generalization for Software Model Checking.- Enhancing Declarative Debugging with Loop Expansion and Tree Compression.- XACML 3.0 in Answer Set Programming.- Types vs. PDGs in Information Flow Analysis- Galliwasp: A Goal-Directed Answer Set Solver.- Computing More Specific Versions of Conditional Rewriting Systems.- Improving Determinization of Grammar Programs for Program Inversion.- A Framework for Guided Test Case Generation in Constraint Logic Programming.- Simplifying the Verification of Quantified Array Assertions via Code Transformation.- Proving Properties of Co-logic Programs with Negation by Program Transformations.- Program Analysis andManipulation to Reproduce Learners’ Erroneous Reasoning.
Textul de pe ultima copertă
This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2012, held in Leuven, Belgium in September 2012.
The 13 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 27 submissions. Among the topics covered are specification, synthesis, verification, analysis, optimization, specialization, security, certification, applications and tools, program/model manipulation, and transformation techniques for any programming language paradigm.
The 13 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 27 submissions. Among the topics covered are specification, synthesis, verification, analysis, optimization, specialization, security, certification, applications and tools, program/model manipulation, and transformation techniques for any programming language paradigm.
Caracteristici
High quality selected papers Unique visibility State of the art research