Operating Systems
Programming Languages
Microsoft Technologies
Computer Science
Formal Methods
MM & Game Dev.
Theory Computing
DS & Algorithms
Software Engineering
Web Programming
Web Technologies

Contact Us | What's New | Missing Link | Feedback

CS -> Compilers and Languages

Book Title : Tree Automata Techniques and Applications
eBook download format(s) : htm
Author(s) : Hubert Comon
Section : CS -> Compilers and Languages
Book Review:

Book Description
Tree automata have been designed a long time ago in the context of circuit verification. Since then many new ideas had came out, such as the connections between automata and logic.

In the 70ís many new results were established concerning tree automata, which lose a bit their connections with the applications and were studied for their own. In particular, a problem was the very high complexity of decision procedures for the monadic second order logic. Applications of tree automata to program verification revived in the 80ís, after the relative failure of automated deduction in this field. It is possible to verify temporal logic formulas (which are particular Monadic Second Order Formulas) on simpler (small) programs. Automata, and in particular tree automata, also appeared as an approximation of programs on which fully automated tools can be used. New results were obtained connecting properties of programs or type systems or rewrite systems with automata.

The goal of this book is to fill in the existing gap and to presents the basics of tree automata and several variants of tree automata which have been devised for applications in the aforementioned domains. This book shall discuss only finite tree automata, and the reader interested in infinite trees should consult any recent survey on automata on infinite objects and their applications (See the bibliography).

The second main restriction that this book have is to focus on the operational aspects of tree automata. This book should appeal the reader who wants to have a simple presentation of the basics of tree automata, and to see how some variations on the idea of tree automata have provided a nice tool for solving difficult problems. Therefore, specialists of the domain probably know almost all the material embedded. However, this book can still be helpful for many researchers who need some knowledge on tree automata. This is typically the case of PhD a student who may find new ideas and guess connections with his (her) own work.

add to                 Digg!

You may use anyone of the download options

eBook VersionLook @ Amazon
Front Cover

Missing Link?, Report It and you may wish to find Similar Books from amazon.

Tell a Friend!

Similar Book titles in CS -> Compilers and Languages section:
Semantics with Applications: A Formal Introduction
Parsing Techniques - A Practical Guide
Inductive Logic Programming - Techniques and Applications

Similar Book titles in Other sections:

Section: Data Structures and Algorithms
Concepts, Techniques, and Models of Computer Programming
Computer Animation: Algorithms and Techniques
Algorithms and Data Structures in VLSI Design: OBDD - Foundations and Applications
Algorithms for Communications Systems and their Applications
Computational Geometry: Methods and Applications
Show all..

Section: CS -> Theory
Cellular Automata and Complexity
Tree Automata Techniques and Application

Section: DB -> DB / 2
IBM DB2 Building Applications for UNIX Environments

Section: DB -> Oracle
High Performance Oracle Database Applications
High Performance Oracle Database Automation: Creating Oracle Applications with SQL and PL/SQL
Developing Client/Server Applications With Oracle Developer/2000
Developing Personal Oracle 7 for Windows 95 Applications
Oracle Web Applications : PL/SQL Developer's Intro
Show all..

Section: Photography
Digital Photography Expert Techniques
Shoot Like a Pro! - Digital Photography Techniques

Section: Microprocessor
Mixed-signal and DSP Design Techniques

Section: Internet
The XML Files : Using XML for Business-to-Business and Business-to-Consumer Applications
Software Engineering for Internet Applications (Workbook)

Section: Java Enterprise Edition
Designing Enterprise Applications with J2EE
J2EE Technology in Practice: Building Business Applications with the Java2 Platform
Designing Enterprise Applications with the J2EE Platform
Tutorial For Building j2Ee Applications Using Jboss And Eclipse

Section: Java Micro Edition
Using WebSphere Studio Device Developer to Build Embedded Java Applications

Section: Java Networking
Developing Intranet Applications with Java

Section: Java Tools
Building AS/400 Internet-Based Applications with Java
Creating Java Applications using NetRexx
Using VisualAge for Java Enterprise Version 2 to Develop CORBA & EJB Applications
Integrating Java with Existing Data and Applications on OS/390

Section: Mathematics
Elementary Algebra with Applications, 3rd Edition
Foundations of Combinatorics with Applications
Mathematics Of The Discrete Fourier Transform (DFT) - With Audio Applications
Introduction To Digital Filters - With Audio Applications

Section: Miscellaneous
Rf And Baseband Techniques for Software Defined Radio
Digraphs Theory, Algorithms and Applications

Section: Microsoft Certifications
Programming Desktop Applications With MS Visual Basic6 MCSD training kit
Distributed Applications with MS Visual Basic MCSD

Section: Microsoft C Sharp (C#)
C# - Your Visual Blueprint for building .Net applications

Section: Microsoft COM/DCOM/ActiveX/ATL
Programming Distributed Applications With COM And Microsoft Visual Basic 6.0

Section: Microsoft .(dot) net
Building Dot Net Applications For Mobile Devices
Application Architecture for .NET: Designing Applications and Services
Building Secure ASP.NET Applications: Authentication, Authorization, and Secure Communication
MCAD/MCSD Self-Paced Training Kit: Developing Windows-Based Applications with Microsoft Visual Basic.NET and Microsoft Visual C#.NET, Second Edition

Section: Microsoft Visual C++
Building Internet Applications with Visual C++

Section: MS Web Technologies
Web Applications Developers Guide
Designing Secure Web Based Applications For Microsoft Windows 2000

Section: Windows Development
Programming Server Side Applications For Microsoft Windows 2000
Programming Applications For Microsoft Windows

Section: Networking
Wireless Technology: Protocols, Standards, and Techniques

Section: Novels
Street Fame

Section: Other Engineering
Chemical Process Safety: Fundamentals with Applications

Section: GNU/Linux OS
The Linux Cookbook - Tips and Techniques for Everyday Use
Writing GNOME Applications
Building Applications with the Linux Standard Base

Section: Unix OS
Nextstep Programming: Step One : Object-Oriented Applications/Book and Disk

Section: C++ Language
C++ in Action: Industrial Strength Programming Techniques
Applied C++: Techniques for Building Better Software
Techniques for Scientific C++

Section: Other Programming
On LISP: Advanced Techniques for Common LISP
Basic Lisp Techniques
Developing Applications With Objective Caml
Computational Linguistics - Models, Resources, Applications

Section: Scripting
Thinking in Python: Design Patterns and Problem-Solving Techniques

Section: Smalltalk
Squeak: Object-Oriented Design with Multimedia Applications

Section: Redbooks Draft
Building Composite Applications
System i Application Modernization: Building a New Interface to Your Legacy Applications
Supporting On Demand Business Applications with IBM's Problem Determination Tools (APA, DT, DT - Advanced Facilities, FA, FM, File Export, WS)
iSeries Application Modernization: Building a New Interface to Your Legacy Applications
Communications Server for z/OS V1R8 TCP/IP Implementation Volume 2: Standard Applications
Show all..

Section: Redbooks
Developing and Porting C and C++ Applications on AIX
IBM z/OS V1R11 Communications Server TCP/IP Implementation Volume 2: Standard Applications
Java Stand-alone Applications on z/OS, Volume I
Developing PHP Applications for IBM Data Servers
Implementing SAP Applications on the IBM System i Platform with IBM i5/OS
Show all..

Section: Redpapers
IBM System i Tools Innovation Program: Resource Guide for Modernization and Integration Tools for System i Applications
How to use Web Analytics for Improving Web Applications
Tips and Techniques for Using TCP/IP on i5/OS
Deploying Rational Applications with IBM Tivoli Configuration Manager
An Overview of Installing SAP Applications on System i Models
Show all..

Section: Redpapers Draft
Techniques to Build a Diskless Boot Linux Cluster of JS21 Blades
Building Composite Applications in Lotus Expeditor V6.1
Building Integrated Applications with WebSphere Dashboard Framework
Managing Composite Applications An Operator's View
Getting Started with the Communications Enabled Applications for WebSphere Application Server V7 Feature Pack
Show all..

Section: Software Engineering
Little Purple Book (Vol. 2) Testing - Implementation Techniques
Supercomputers: Directions in Technology and Applications

Section: Web Programming
Developing Web Applications with Cold Fusion
Creating Applications with Mozilla
Secure PHP Development: Building 50 Practical Applications

Section: XML, XSL & UML
The XML Files: Using XML for B2B and B2C Applications
XML Programming: Web Applications and Web Services With JSP and ASP

Similar Books from Amazon :

Tell a Friend!

©2008 - Home - Privacy Policy - Program Policy, Terms and Conditions