回到首頁
|刊登類別：
|
加入追蹤清單

第 1/1 張圖片

Static Analysis: 4th International Symposium, SAS '97, Paris, France, September - 第 1/1 張圖片
有類似物品要出售？
自己賣

Static Analysis: 4th International Symposium, SAS '97, Paris, France, September

狀況：
全新
庫存 7 件
價格：
US $67.88
大約HK$ 529.57
運費：
免費 Economy Shipping. 查看詳情— 運送
所在地：Fairfield, Ohio, 美國
送達日期：
估計於 6月4日, 二至 6月14日, 五之間送達 運送地點 43230
估計送達日期 — 會在新視窗或分頁中開啟考慮到賣家的處理時間、寄出地郵遞區碼、目的地郵遞區碼、接收包裹時間，並取決於所選的運送方式以及收到全部款項全部款項 — 會在新視窗或分頁中開啟的時間。送達時間會因時而異，尤其是節日。
退貨：
30 日退貨. 由買家支付退貨運費. 查看詳情- 更多退貨相關資訊
保障：
請參閱物品說明或聯絡賣家以取得詳細資料。閱覽全部詳情查看保障詳情
（不符合「eBay 買家保障方案」資格）

安心購物

高度評價賣家
值得信賴的賣家，發貨快，輕鬆退貨。 
進一步了解- 超高度評價 — 會在新視窗或分頁中開啟

賣家資料

註冊為商業賣家
檢舉物品 — 會在新視窗或分頁中開啟
賣家必須承擔此刊登物品的所有責任。
eBay 物品編號：364690410135
上次更新時間： 2024-04-01 16:11:51查看所有版本查看所有版本

物品細節

物品狀況
全新: 全新，未閱讀過和使用過的書籍，狀況完好，不存在缺頁或內頁受損。 查看所有物品狀況定義會在新視窗或分頁中開啟
ISBN-13
9783540634683
Book Title
Static Analysis
ISBN
9783540634683
Publication Year
1997
Series
Lecture Notes in Computer Science Ser.
Type
Textbook
Format
Book, Trade Paperback, Paperback
Language
English
Publication Name
Algebraic and Logic Programming : 6th International Joint Conference, ALP 097-HOA 097, Southampton, U. K., September 3-5, 1997. Proceedings
Author
J. Heering
Item Length
11in
Publisher
Springer Berlin / Heidelberg
Item Width
8.5in
Item Weight
46.9 Oz
Number of Pages
Xii, 424 Pages

關於產品

Product Information

This book presents the refereed proceedings of the 4th International Symposium on Static Analysis, SAS '97, held in Paris, France, in September 1997. The 23 revised papers were selected from 61 high-quality submissions on the basis of at least three reviews. Also included are one system demonstration, three posters, and six invited contributions by leading scientists. The papers are organized in topical sections on procedural languages, logic programming, concurrency, and termination.

Product Identifiers

Publisher
Springer Berlin / Heidelberg
ISBN-10
3540634681
ISBN-13
9783540634683
eBay Product ID (ePID)
678608

Product Key Features

Author
J. Heering
Publication Name
Algebraic and Logic Programming : 6th International Joint Conference, ALP 097-HOA 097, Southampton, U. K., September 3-5, 1997. Proceedings
Format
Book, Trade Paperback, Paperback
Language
English
Publication Year
1997
Series
Lecture Notes in Computer Science Ser.
Type
Textbook
Number of Pages
Xii, 424 Pages

Dimensions

Item Length
11in
Item Width
8.5in
Item Weight
46.9 Oz

Additional Product Features

Series Volume Number
1302
Number of Volumes
1 Vol.
Lc Classification Number
Qa76.9.S88
Volume Number
Vol. 130
Table of Content
On sparse evaluation representations.- The effects of the precision of pointer analysis.- Fast and effective procedure inlining.- Set-sharing is redundant for pair-sharing.- An algebraic approach to sharing analysis of logic programs.- Logical optimality of groundness analysis.- Towards a cost-effective estimation of uncaught exceptions in SML programs.- Program analysis using mixed term and set constraints.- Set-based analysis for logic programming and tree automata.- Denotational abstract interpretation of functional logic programs.- Termination analysis for Mercury.- The power of QDDs (extended abstract).- Type-based analysis of communication for concurrent programming languages.- True concurrency via abstract interpretation.- Static analysis of interaction nets for distributed implementations.- Type-directed flow analysis for typed intermediate languages.- Exact flow analysis.- Satisfying subtype inequalities in polynomial space.- Static analyses of congruence properties on rational numbers (extended abstract).- Effective specialization of realistic programs via use sensitivity.- Coalescing conditional branches into efficient indirect jumps.- Automatic termination analysis for partial functions using polynomial orderings.- TEA: Automatically proving termination of programs in a non-strict higher-order functional language.- Semantic analyzer of modula-programs.- Abstract interpretation for improving WAM code.- Attribute grammars and functional programming deforestation.- Data dependences as abstract interpretations.- Abstract interpretation: A theory of approximate computation.- On the desirable link between theory and practice in abstract interpretation (extended abstract).- Abstract interpretation based static analysis parameterized by semantics.- Can abstract interpretation become a mainstream compiler technology'.- Combining abstract interpretation and partial evaluation (brief overview).- Practical compile-time analysis.
Copyright Date
1997
Target Audience
Scholarly & Professional
Topic
Programming Languages / General, Programming / General, Software Development & Engineering / General, Information Technology
Lccn
97-030415
Dewey Decimal
005.13/1
Dewey Edition
21
Illustrated
Yes
Genre
Computers

賣家提供的物品說明

grandeagleretail

grandeagleretail

98.2% 正面信用評價
已賣出 269.6 萬 件物品
瀏覽商店聯絡
通常在 24 小時內回覆

詳盡賣家評級

過去 12 個月的平均評級

說明準確
4.9
運費合理
5.0
運送速度
4.9
溝通
4.9

此商店的熱門類別

查看全部類別
The ArtsBiography & True StoriesChildren's & Young AdultComputing & ITEarth Sciences & GeographyFinance, Econ, Business & MgtFictionHealth & Personal DevelopmentHumanities

賣家信用評價 （1,023,100）

k***a (413)- 買家留下的信用評價。
過去 1 個月
購買已獲認證
Nice item, great service, highly recommended seller.
Oakland Athletics by Joe Tischler Paperback Book（#386916642678）
i***h (15336)- 買家留下的信用評價。
過去 1 個月
購買已獲認證
Good, quick and smooth transaction. Thanks. !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!1
Numismatic History of Panama 1904-1965 Historia Numismtica de Panam 1904-1965 Co（#386840514788）
m***m (78)- 買家留下的信用評價。
過去 1 個月
購買已獲認證
Thanks! Fast Shipping!
Blood Meridian by Cormac McCarthy (English) Paperback Book（#384718698348）
查看所有信用評價