This monograph focuses on optimal flow analysis of sequential and parallel programs. It studies algorithmic properties of various versions of the well-known constant-propagation problem, combining techniques from such diverse areas as linear algebra, computable ring theory, abstract interpretation, program verification and complexity theory. This combination of techniques is the key to further progress in automatic analysis and constant-propagation illustrates this point in a theoretical study.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
1. Introduction.- 2. A Hierarchy of Constants.- 3. Deciding Constants by Effective Weakest Preconditions.- 4. Limits of Parallel Flow Analysis.- 5. Parallel Flow Graphs.- 6. Non-atomic Execution.- 7. Dependence Traces.- 8. Detecting Copy Constants and Eliminating Faint Code.- 9. Complexity in the Non-atomic Scenario.- 10. Conclusion.- A. A Primer on Constraint-Based Program Analysis.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
EUR 3,84 per la spedizione in U.S.A.
Destinazione, tempi e costiGRATIS per la spedizione in U.S.A.
Destinazione, tempi e costiDa: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Condizione: Fine. *Price HAS BEEN temporarily REDUCED by 10% until Monday, Sept. 15 (sale item)* 190 pp., Paperback, previous owner's name to verso of front cover else fine. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country. Codice articolo ZB1283601
Quantità: 1 disponibili
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Paperback. Condizione: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Codice articolo UTD1419898
Quantità: 1 disponibili
Da: Ammareal, Morangis, Francia
Softcover. Condizione: Très bon. Ancien livre de bibliothèque. Edition 2006. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2006. Ammareal gives back up to 15% of this item's net price to charity organizations. Codice articolo E-627-503
Quantità: 1 disponibili
Da: Basi6 International, Irving, TX, U.S.A.
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Codice articolo ABEJUNE24-267539
Quantità: 1 disponibili
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Condizione: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Codice articolo ABNR-93318
Quantità: 1 disponibili
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Condizione: New. Codice articolo ABLIING23Mar3113020168038
Quantità: Più di 20 disponibili
Da: GreatBookPrices, Columbia, MD, U.S.A.
Condizione: New. Codice articolo 5105392-n
Quantità: Più di 20 disponibili
Da: Best Price, Torrance, CA, U.S.A.
Condizione: New. SUPER FAST SHIPPING. Codice articolo 9783540453857
Quantità: 1 disponibili
Da: GreatBookPrices, Columbia, MD, U.S.A.
Condizione: As New. Unread book in perfect condition. Codice articolo 5105392
Quantità: Più di 20 disponibili
Da: Books Puddle, New York, NY, U.S.A.
Condizione: New. pp. 196. Codice articolo 26302385
Quantità: 1 disponibili