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.
"synopsis" may belong to another edition of this title.
Seller: GuthrieBooks, Spring Branch, TX, U.S.A.
Paperback. Condition: Very Good. Sorry, No international shipping on this item.Ex-library paperback in very nice condition with the usual markings and attachments. Seller Inventory # UTD1419898
Seller: Basi6 International, Irving, TX, U.S.A.
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Seller Inventory # ABEOCT25-241055
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Condition: 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. Seller Inventory # ABBB-162348
Seller: Books Puddle, Woodside, NY, U.S.A.
Condition: Used. pp. 196. Seller Inventory # 26302385
Seller: Majestic Books, Hounslow, United Kingdom
Condition: Used. pp. 196 Illus. Seller Inventory # 7545582
Quantity: 1 available
Seller: Biblios, Frankfurt am main, HESSE, Germany
Condition: Used. pp. 196. Seller Inventory # 18302395
Quantity: 1 available
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: New. Seller Inventory # 5105392-n
Seller: Chiron Media, Wallingford, United Kingdom
PF. Condition: New. This item is printed on demand. Brand new book, sourced directly from publisher. Dispatch time is 6-7 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely. Seller Inventory # 6666-IUK-9783540453857
Quantity: 20 available
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 196 pp. Englisch. Seller Inventory # 9783540453857
Quantity: 2 available
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Condition: New. Seller Inventory # 5105392-n
Quantity: Over 20 available