Logics For Xml Reasoning About Trees(1st Edition)
Authors:
Pierre Geneves
In Stock: 2 Left
Shipment time
Expected shipping within 2 - 3 DaysPopular items with books
Total Price:
$0
Solution Manual Includes
Price:
$9.99
Book details
ISBN: 3639193717, 978-3639193718
Book publisher: VDM Verlag
Book Price $0 : This Work Describes The Theoretical And Practical Foundations Of A System For The Static Analysis Of XML Processing Languages. The System Relies On A Fixpoint Modal Logic With Converse Where Models Are Finite Trees. This Calculus Is Expressive Enough To Capture Regular Tree Types Along With Multi-directional Navigation In Trees. The Decidability Of The Logic Is Proved In Time 2^O(n) Where N Is The Size Of The Input Formula. XPath Expressions And XML Schemas Are Linearly Translated Into The Logic. Based On These Embeddings, Several Problems Of Major Importance In XML Applications Are Reduced To Logical Satisfiability. The Focus Is Then Given To A Sound And Complete Algorithm For Deciding The Logic, Along With Crucial Implementation Techniques For Building An Effective Solver. Practical Experiments Using A Full System Implementation Are Presented. The System Appears Efficient In Practice For Several Realistic Scenarios. The Main Application Of This Work Is A New Class Of Static Analyzers For Programs Manipulating XML Data. Such Analyzers Allow To Ensure At Compile-time Valuable Properties Such As Type-safety And Optimizations, For Safer And More Efficient XML Processing.
Customers also bought these books (16)
Rural Development And Urban-Bound Migration In Mexico - 1st Edition
Arthur Silvers
ISBN: 1317270681, 9781317270683
$0 $69.00
Socioeconomic Evaluation Of Megaprojects Dealing With Uncertainties - 1st Edition
Markku Lehtonen
ISBN: 1317222067, 9781317222064
$0 $47.00
Managing Business Ethics Straight Talk about How to Do It Right - 5th edition
Linda klebe Trevino
ISBN: 047034394X, 978-0470343944
$0 $9.99
Statistical Reasoning for Everyday Life - 4th edition
Jeff Bennett
ISBN: 978-0321817747, 321817745, 978-0321890139, 321890132, 321817621, 978-0321817624
$0 $38.99
Service Oriented Architecture A Field Guide To Integrating Xml And Web Services - 1st Edition
Thomas Erl
ISBN: 0131428985, 978-0131428980
$0 $4.78
Visual Basic Programming Experimental Course - 1st Edition
ISBN: 711524829X, 978-7115248299
$0 $15.00
Visual Basic Programming Basic Tutorial - 1st Edition
Unknown
ISBN: 7115173192, 978-7115173195
$0 $66.20
Chance Premium Rubber Outdoor/Indoor Basketball Standly The Ball Stand -
?Chance
ISBN: B0BPNDRKJG
$0 $42.00
Essentials Of Federal Taxation 2018 - 9th Edition
Brian Spilker
ISBN: 1260007642, 978-1260150292, 1260150291, 978-1260007640
$0 $17.09
Strategic Management And Business Policy Globalization Innovation And Sustainability - 15th Edition
Thomas L. Wheelen
ISBN: 0134522052, 978-0134522050
$112 $160.00
Life On Purpose A Practical Tool For Crafting A God Honoring Joy Producing Personal Mission Statement - 1st Edition
Michael Acker
ISBN: 1954024533, 978-1954024533
$0 $8.50
Microsoft Visual Basic Net Curso De Programacion - 1st Edition
Francisco Javier Ceballos
ISBN: 9701513703, 978-9701513705
$0 $58.91
Best Ideas For Teaching With Technology - 1st Edition
Justin Reich
ISBN: 0765621320, 978-0765621320
$0 $6.99Popular Among Students (13)
Applied Power Analysis For The Behavioral Sciences - 2nd Edition
Christopher L. Aberson
ISBN: 1138044598, 9781138044593
$92.39 $131.98
Using And Interpreting Statistics - 1st Edition
Eric W. Corty
ISBN: 0323035930, 9780323035934
$0 $9.98
Gods Own Party The Making Of The Christian Right - 1st Edition
Daniel K Williams
ISBN: 0199929068, 978-0199929061
$0 $6.00
Sql Queries 2012 Joes 2 Pros Volume 5 Xml Querying Techniques In Sql Server 2012 - 1st Edition
Rick A Morelan
ISBN: 1481161156, 978-1481161152
$0 $23.00
Handbook Of SCADA/Control Systems Security - 2nd Edition
Burt G. Look
ISBN: 0367596660, 978-0367596668
$95.9 $137.00
Programming Directory Services With Microsoft Net And Xml - 1st Edition
Charles Oppermann
ISBN: 0735619379, 978-0735619371
$0 $70.00
Machine Learning With KNIME Analytics Platform Visual Programming Technique No Coding Requires - 1st Edition
Dr Nickholas Anting PhD
ISBN: 979-8644835409
$0 $18.00