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
Carte tipărită la comandă
Livrare economică 08-22 iulie
Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit pentru acest produs Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
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ț: 368.93 lei549.67 lei -
To Mock a Mockingbird: and Other Logic PuzzlesRaymond Smullyan-20%Preț: 76.67 lei95.90 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ț: 440.10 lei637.31 lei -
-37%Preț: 63.99 lei101.21 lei -
-27%Preț: 683.97 lei936.94 lei -
Theory of Computational ComplexityDing-Zhu Du-9%Preț: 804.35 lei883.90 lei -
Mathematical Logic for Computer ScienceMordechai Ben-Ari-20%Preț: 380.61 lei475.76 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ț: 272.04 lei -
-18%Preț: 1080.84 lei1318.10 lei -
Lattice Theory: Special Topics and ApplicationsGeorge Grätzer-15%Preț: 631.51 lei742.96 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