The book store at your door!
Static Analysis
(Paperback - 14091994)by Write a Review
|  off  |
Available. Order now and get it in 15-17 business days. See Details
All India - Free Shipping. See Details
Ships to India only.
Buy online using:
- Credit Card (VISA & MasterCard)
- Debit Card or Internet Banking Account (all major Indian Banks accepted)
- Cheque, Demand Draft or Money Order. See Details
Publisher: Springer
OR
Book: Static Analysis
This volume presents the proceedings of the First International Static Analysis Symposium (SAS '94), held in Namur, Belgium in September 1994.
The proceedings comprise 25 full refereed papers selected from 70 submissions as well as four invited contributions by Charles Consel, Saumya K. Debray, Thomas W. Getzinger, and Nicolas Halbwachs. The papers address static analysis aspects for various programming paradigms and cover the following topics: generic algorithms for fixpoint computations; program optimization, transformation and verification; strictness-related analyses; type-based analyses and type inference; dependency analyses and abstract domain construction.
The proceedings comprise 25 full refereed papers selected from 70 submissions as well as four invited contributions by Charles Consel, Saumya K. Debray, Thomas W. Getzinger, and Nicolas Halbwachs. The papers address static analysis aspects for various programming paradigms and cover the following topics: generic algorithms for fixpoint computations; program optimization, transformation and verification; strictness-related analyses; type-based analyses and type inference; dependency analyses and abstract domain construction.
No Reviews Yet! Be the first one to review this book.
Details of Book: Static Analysis Book: Static Analysis
Author: Baudouin Lecharlier, Baudouin Le Charlier
ISBN:
ISBN-13:
Binding: Paperback
Publishing Date: 14091994
Publisher: Springer
Number of Pages: 488
Language: English
Author: Baudouin Lecharlier, Baudouin Le Charlier
ISBN:
3540584854
ISBN-13:
9783540584858
,978-3540584858
Binding: Paperback
Publishing Date: 14091994
Publisher: Springer
Number of Pages: 488
Language: English
Related Tags baudouin le charlier
2 States: The Story Of My Marriage by Chetan BhagatFourth book by the bestselling author Chetan Bhagat.
2 States is a story about Krish and Ananya. They are from two different states of India, deeply in love and want to get married. Of course, their parents don’t agree. To convert their love story into a love marriage, the couple have a tough battle in front of them.
Order now at 32% Discount
2 States is a story about Krish and Ananya. They are from two different states of India, deeply in love and want to get married. Of course, their parents don’t agree. To convert their love story into a love marriage, the couple have a tough battle in front of them.
Order now at 32% Discount
Popular at Flipkart.comWhat I See | Ca 5pk | Complete Biology For Igcse | Echoes Of Scripture In The Letters Of Paul | Super Ace And The Thirsty Planet | Politics And War In The Three Stuart Kingdoms, 1637-49 | Flower Girl | Origin Of Language And Myths V1 | The Eucharistic Life | Tercera Parte De La Vida Del Gran Tacaapo | The Principles Of Art Education | Rabbit Plants The Forest | Women's Fiction 1945-2005 | Vadose Zone Hydrology | French Folk Songs | Drivers | Saint Vemana | Beauty For Ashes | What Katy Did At School | Demons Drugs Decisions | Signs And Wonders In The Land Of Ham | Foreign Churches In Relation To The Anglican | Gesta Typographica | Domestic Homeopathy | When The Curtain Rises | The Interpreters | Geomarketing | Mrs. Overtheway's Remembrances | Yogis' Secrets | Handbook Of Medicine | One Man's View | The Campaign Speech Of Mr. A. H. Hobbs | Second Year English | Springfield Collection Of Hymns For Sacred Worship | more...
Your Recent Searches (click to search again)
| mark s bauer hamilton fish victor villasenor p c headley n sundararajan | chen franklin d rast william macnab p a de groot godefridus antonius decore |
Book: Static Analysis by Baudouin Lecharlier, Baudouin Le Charlier
ISBN Number: 3540584854, 9783540584858, 978-3540584858