Abstract Interpretation Of Declarative Languages (ellis Horwood Books In Computing Science, Series In Computers And Their Applications) 🔍
Samson Abramsky, Chris Hankin (ed.)
E. Horwood; Halsted Press; Ellis Horwood, Ltd., Ellis Horwood books in computing science, series in computers and their applications, Computers and their applications., Chichester, West Sussex, England, New York, England, 1987
英语 [en] · PDF · 15.1MB · 1987 · 📘 非小说类图书 · 🚀/lgli/lgrs · Save
备用文件名
lgrsnf/Abramsky, Hankin, Abstract interpretation of declarative languages.pdf
备选作者
editors, Samson Abramsky and Chris Hankin
备用出版商
Ellis Horwood Ltd , Publisher
备用出版商
Pony Press
备用版本
United Kingdom and Ireland, United Kingdom
元数据中的注释
Bibliography: p. [276]-282.
Includes index.
Includes index.
开源日期
2024-06-11
ISBN-13978-0-470-20971-4
ISBN-13978-0-7458-0109-4
ISBN-100-470-20971-2
ISBN-100-7458-0109-9
OCLC1324591511
OCLC16467479
OCLC993366793
AacIdaacid__isbngrp_records__20240920T194930Z__AsTPL7duLe4tJuwBShhnFu
AacIdaacid__isbngrp_records__20240920T194930Z__SpqNTse5DiWKAwjUW3VRVY
AacIdaacid__isbngrp_records__20240920T194930Z__o4dPAw3poMTnGMR6Tovb22
AacIdaacid__worldcat__20250804T000000Z__2QCZA7vwyoP9bzAtZ8EN2k
AacIdaacid__worldcat__20250804T000000Z__2U4Be22KgMTFhdDdvhBHXr
AacIdaacid__worldcat__20250804T000000Z__2WDHbpd9GasmBc3ZoPYQ9j
AacIdaacid__worldcat__20250804T000000Z__3uiMctAd2CCUCQhjuc9arA
AacIdaacid__worldcat__20250804T000000Z__7XjSFfqUa6z37vYzcLTMCY
AacIdaacid__worldcat__20250804T000000Z__9kXTChgQhtrPUC8K7QQuJo
AacIdaacid__worldcat__20250804T000000Z__RhqvJfcVbmRRanBLTdUCzq
AacIdaacid__worldcat__20250804T000000Z__ShnAb4usM46qEQrzTeBpNH
AacIdaacid__worldcat__20250804T000000Z__VfwMFLr5CBzZ7pHtTwvngV
AacIdaacid__worldcat__20250804T000000Z__bs9C5rSkmAQXAECwq87ZT5
AacIdaacid__worldcat__20250804T000000Z__d97eBvZ3NBaDkXoJwgseDD
AacIdaacid__worldcat__20250804T000000Z__h6rwizrfwiximCwQDRrC6L
AacIdaacid__worldcat__20250804T000000Z__h7snpfwniaD8tih28pKKdd
AacIdaacid__worldcat__20250804T000000Z__nB7mUkaYYGftF4BzSxD3Yv
AacIdaacid__worldcat__20250804T000000Z__oAQnSqXJWKSqgzZDndJXut
AA Record IDmd5:c4941447cb966250a1a6b46ab41683b0
Collectionlgli
Collectionlgrs
Content Typebook_nonfiction
SHA-256b720c351
ISBNdb Scrape Date2022-09-01
ISBN GRP Source Scrape Date2024-09-20
Libgen.li Source Date2024-06-17
Libgen.rs Non-Fiction Date2024-06-11
OCLC Scrape Date2025-01-01
OpenLib 'created' Date2008-04-01
DDC005.1/3
DDC5.1/3
Filepathlgli/Abramsky, Hankin, Abstract interpretation of declarative languages.pdf
Filepathlgrsnf/Abramsky, Hankin, Abstract interpretation of declarative languages.pdf
Filesize15127014
Goodreads2204036
Goodreads4591070
IPFS CIDbafykbzacedimeihxe22ha5fayr6brgijh5h6od5veg4m2zebpndgdkmpikgny
ISBN GRP ID0582f1e9cfae0d659372619aadeb02be
ISBN GRP ID582f1e9cfae0d659372619aadeb02be
ISBN GRP ID6d9ec99a80cf61acbce94ec149b9773d
ISBN GRP IDa169e7ee972fb7f43dc7bfee8b9d89d3
Languageen
LCCQA76.7 .A2 1987
LCCN87020899
Libgen.li File105130937
Libgen.li libgen_id5603191
Libgen.rs Non-Fiction4326106
Libgen.rs Non-Fiction Topiccomputers\\programming: programming languages
Library Thing6154606
MD5c4941447cb966250a1a6b46ab41683b0
OCLC Editions1
OCLC Editions8
OCLC Editions (from search_holdings_all_editions_response)1
OCLC Editions (from search_holdings_all_editions_response)8
OCLC Editions (from search_holdings_summary_all_editions)1
OCLC Editions (from search_holdings_summary_all_editions)8
OCLC 'From Filename'2023_04_v3/1109/1109162412
OCLC 'From Filename'2023_04_v3/1219/1219845235
OCLC 'From Filename'range_query/8700###### NOT 9788700######
OCLC 'From Filename'range_query/870002####
OCLC 'From Filename'range_query/8700020###
OCLC 'From Filename'range_query/8700020###____2
OCLC 'From Filename'range_query/backup_8700020###____2
OCLC 'From Filename'range_query/backup_8700020###____3
OCLC 'From Filename'search_editions_response/1324591511
OCLC 'From Filename'search_editions_response/16467479
OCLC 'From Filename'search_holdings_all_editions_response/2024-12-11_03.tar/1324591511
OCLC 'From Filename'search_holdings_all_editions_response_type/1324591511
OCLC 'From Filename'search_holdings_summary_all_editions/1324591511/index/64040206
OCLC 'From Filename'search_holdings_summary_all_editions/16467479/index/1982691
OCLC 'From Filename'w2/v6/4633/463308155
OCLC 'From Filename'w2/v7/2591/259192972
OCLC 'From Filename'w2/v7/3099/309948044
OCLC 'From Filename'w2/v7/4290/429009818
OCLC 'From Filename'worldcat_2022_09_titles_1_backup_2022_10_12/001/0016467
OCLC 'From Filename'worldcat_2022_09_titles_1_backup_2022_10_12/001/0016759
OCLC Holdings1
OCLC Holdings+Editions (to find rare books)1/1
OCLC Holdings+Editions+LibraryID (to find rare books)1/1/58122
OCLC Holdings (from library_ids)1
OCLC Holdings (from search_holdings_all_editions_response)1
OCLC Holdings (from search_holdings_summary_all_editions)1
OCLC ISBNs+Holdings+Editions (to find rare books)2/1/1
OCLC ISBNs+Holdings+Editions+LibraryID (to find rare books)2/1/1/58122
OCLC Library ID58122
Open LibraryOL19194211W
Open LibraryOL2391500M
Open Library Source Recordmarc_columbia/Columbia-extract-20221130-002.mrc:163166331:1513
Open Library Source Recordmarc_loc_2016/BooksAll.2016.part18.utf8:7632432:987
Open Library Source Recordmarc_records_scriblio_net/part19.dat:92835264:986
Open Library Source Recordpromise:bwb_daily_pallets_2023-04-03:P8-CLU-463
Open Library Source Recordpromise:bwb_daily_pallets_2023-07-25:W8-BAC-434
Open Library SubjectCompiling (Electronic computers)
Open Library SubjectProgramming languages (Electronic computers) -- Semantics.
Server Pathg4/libgenrs_nonfiction/libgenrs_nonfiction/4326000/c4941447cb966250a1a6b46ab41683b0
SHA-1436b9740bb50ae3ffcd304b5c1d7f221ded65dec
SHA-25600d30b906c96f49d2807954186d2569dca145fd20a6ca2f413d339eb8a583d2a
Torrentexternal/libgen_rs_non_fic/r_4326000.torrent
Year1987
ISBN-13:
978-0-470-20971-4 / 9780470209714
ISBN-13:
978-0-7458-0109-4 / 9780745801094
ISBN-10:
0-470-20971-2 / 0470209712
代码浏览器： 在代码浏览器中查看“isbn10:0470209712”
ISBN-10:
0-7458-0109-9 / 0745801099
代码浏览器： 在代码浏览器中查看“isbn10:0745801099”
AacId:
aacid__isbngrp_records__20240920T194930Z__AsTPL7duLe4tJuwBShhnFu
Anna’s Archive Container identifier.
AacId:
aacid__isbngrp_records__20240920T194930Z__SpqNTse5DiWKAwjUW3VRVY
Anna’s Archive Container identifier.
AacId:
aacid__isbngrp_records__20240920T194930Z__o4dPAw3poMTnGMR6Tovb22
Anna’s Archive Container identifier.
AacId:
aacid__worldcat__20250804T000000Z__2QCZA7vwyoP9bzAtZ8EN2k
Anna’s Archive Container identifier.
AacId:
aacid__worldcat__20250804T000000Z__2U4Be22KgMTFhdDdvhBHXr
Anna’s Archive Container identifier.
AacId:
aacid__worldcat__20250804T000000Z__2WDHbpd9GasmBc3ZoPYQ9j
Anna’s Archive Container identifier.
AacId:
aacid__worldcat__20250804T000000Z__3uiMctAd2CCUCQhjuc9arA
Anna’s Archive Container identifier.
AacId:
aacid__worldcat__20250804T000000Z__7XjSFfqUa6z37vYzcLTMCY
Anna’s Archive Container identifier.
AacId:
aacid__worldcat__20250804T000000Z__9kXTChgQhtrPUC8K7QQuJo
Anna’s Archive Container identifier.
AacId:
aacid__worldcat__20250804T000000Z__RhqvJfcVbmRRanBLTdUCzq
Anna’s Archive Container identifier.
AacId:
aacid__worldcat__20250804T000000Z__ShnAb4usM46qEQrzTeBpNH
Anna’s Archive Container identifier.
AacId:
aacid__worldcat__20250804T000000Z__VfwMFLr5CBzZ7pHtTwvngV
Anna’s Archive Container identifier.
AacId:
aacid__worldcat__20250804T000000Z__bs9C5rSkmAQXAECwq87ZT5
Anna’s Archive Container identifier.
AacId:
aacid__worldcat__20250804T000000Z__d97eBvZ3NBaDkXoJwgseDD
Anna’s Archive Container identifier.
AacId:
aacid__worldcat__20250804T000000Z__h6rwizrfwiximCwQDRrC6L
Anna’s Archive Container identifier.
AacId:
aacid__worldcat__20250804T000000Z__h7snpfwniaD8tih28pKKdd
Anna’s Archive Container identifier.
AacId:
aacid__worldcat__20250804T000000Z__nB7mUkaYYGftF4BzSxD3Yv
Anna’s Archive Container identifier.
AacId:
aacid__worldcat__20250804T000000Z__oAQnSqXJWKSqgzZDndJXut
Anna’s Archive Container identifier.
AA Record ID:
md5:c4941447cb966250a1a6b46ab41683b0
Anna’s Archive record ID.
Collection:
lgli
The collection on Anna’s Archive that provided data for this record.
URL: /datasets/lgli
网站: /datasets
代码浏览器： 在代码浏览器中查看“collection:lgli”
Collection:
lgrs
The collection on Anna’s Archive that provided data for this record.
URL: /datasets/lgrs
网站: /datasets
代码浏览器： 在代码浏览器中查看“collection:lgrs”
Content Type:
book_nonfiction
Content type, determined by Anna’s Archive.
SHA-256:
b720c351
代码浏览器： 在代码浏览器中查看“crc32:b720c351”
ISBNdb Scrape Date:
2022-09-01
The date that Anna’s Archive scraped this ISBNdb record.
网站: /datasets/isbndb
ISBN GRP Source Scrape Date:
2024-09-20
Date Anna’s Archive scraped the ISBN GRP collection.
Libgen.rs Non-Fiction Date:
2024-06-11
Date Libgen.rs Non_Fiction published this file.
网站: /datasets/lgrs
OCLC Scrape Date:
2025-01-01
The date that Anna’s Archive scraped this OCLC/WorldCat record.
网站: /datasets/oclc
OpenLib 'created' Date:
2008-04-01
The 'created' metadata field on the Open Library, indicating when the first version of this record was created.
网站: /datasets/ol
Filepath:
lgli/Abramsky, Hankin, Abstract interpretation of declarative languages.pdf
Browse collections using their original file paths (particularly 'upload' is interesting)
Filepath:
lgrsnf/Abramsky, Hankin, Abstract interpretation of declarative languages.pdf
Browse collections using their original file paths (particularly 'upload' is interesting)
Filesize:
15127014
Filesize in bytes.
IPFS CID:
bafykbzacedimeihxe22ha5fayr6brgijh5h6od5veg4m2zebpndgdkmpikgny
Content Identifier (CID) of the InterPlanetary File System (IPFS).
ISBN GRP ID:
0582f1e9cfae0d659372619aadeb02be
ISBN GRP ID.
ISBN GRP ID:
582f1e9cfae0d659372619aadeb02be
ISBN GRP ID.
ISBN GRP ID:
6d9ec99a80cf61acbce94ec149b9773d
ISBN GRP ID.
ISBN GRP ID:
a169e7ee972fb7f43dc7bfee8b9d89d3
ISBN GRP ID.
LCC:
QA76.7 .A2 1987
Library of Congress Classification
Libgen.li File:
105130937
Global file ID in Libgen.li. Directly taken from the 'f_id' field in the 'files' table.
网站: /datasets/lgli
代码浏览器： 在代码浏览器中查看“lgli:105130937”
Libgen.li libgen_id:
5603191
Repository ID for the 'libgen' repository in Libgen.li. Directly taken from the 'libgen_id' field in the 'files' table. Corresponds to the 'thousands folder' torrents.
网站: /datasets/lgli
Libgen.rs Non-Fiction:
4326106
Repository ID for the non-fiction ('libgen') repository in Libgen.rs. Directly taken from the 'id' field in the 'updated' table. Corresponds to the 'thousands folder' torrents.
网站: /datasets/lgrs
代码浏览器： 在代码浏览器中查看“lgrsnf:4326106”
Libgen.rs Non-Fiction Topic:
computers\\programming: programming languages
Libgen’s own classification system of 'topics' for non-fiction books. Obtained from the 'topic' metadata field, using the 'topics' database table, which seems to have its roots in the Kolxo3 library that Libgen was originally based on. https://web.archive.org/web/20250303231041/https://wiki.mhut.org/content:bibliographic_data says that this field will be deprecated in favor of Dewey Decimal.
网站: /datasets/lgrs
Library Thing:
6154606
MD5:
c4941447cb966250a1a6b46ab41683b0
OCLC Editions:
1
Number of editions (unique OCLC IDs) reported by OCLC/WorldCat metadata. 'many' means 20 or more.
网站: /datasets/oclc
代码浏览器： 在代码浏览器中查看“oclc_editions:1”
OCLC Editions:
8
Number of editions (unique OCLC IDs) reported by OCLC/WorldCat metadata. 'many' means 20 or more.
网站: /datasets/oclc
代码浏览器： 在代码浏览器中查看“oclc_editions:8”
OCLC Editions (from search_holdings_all_editions_response):
1
网站: /datasets/oclc
OCLC Editions (from search_holdings_all_editions_response):
8
网站: /datasets/oclc
OCLC Editions (from search_holdings_summary_all_editions):
1
网站: /datasets/oclc
OCLC Editions (from search_holdings_summary_all_editions):
8
网站: /datasets/oclc
OCLC 'From Filename':
2023_04_v3/1109/1109162412
网站: /datasets/oclc
OCLC 'From Filename':
2023_04_v3/1219/1219845235
网站: /datasets/oclc
OCLC 'From Filename':
range_query/8700###### NOT 9788700######
网站: /datasets/oclc
OCLC 'From Filename':
range_query/870002####
网站: /datasets/oclc
OCLC 'From Filename':
range_query/8700020###
网站: /datasets/oclc
OCLC 'From Filename':
range_query/8700020###____2
网站: /datasets/oclc
OCLC 'From Filename':
range_query/backup_8700020###____2
网站: /datasets/oclc
OCLC 'From Filename':
range_query/backup_8700020###____3
网站: /datasets/oclc
OCLC 'From Filename':
search_editions_response/1324591511
网站: /datasets/oclc
OCLC 'From Filename':
search_editions_response/16467479
网站: /datasets/oclc
OCLC 'From Filename':
search_holdings_all_editions_response/2024-12-11_03.tar/1324591511
网站: /datasets/oclc
OCLC 'From Filename':
search_holdings_all_editions_response_type/1324591511
网站: /datasets/oclc
OCLC 'From Filename':
search_holdings_summary_all_editions/1324591511/index/64040206
网站: /datasets/oclc
OCLC 'From Filename':
search_holdings_summary_all_editions/16467479/index/1982691
网站: /datasets/oclc
OCLC 'From Filename':
w2/v6/4633/463308155
网站: /datasets/oclc
OCLC 'From Filename':
w2/v7/2591/259192972
网站: /datasets/oclc
OCLC 'From Filename':
w2/v7/3099/309948044
网站: /datasets/oclc
OCLC 'From Filename':
w2/v7/4290/429009818
网站: /datasets/oclc
OCLC 'From Filename':
worldcat_2022_09_titles_1_backup_2022_10_12/001/0016467
网站: /datasets/oclc
OCLC 'From Filename':
worldcat_2022_09_titles_1_backup_2022_10_12/001/0016759
网站: /datasets/oclc
OCLC Holdings:
1
Number of library holdings (for all editions) reported by OCLC/WorldCat metadata. 'many' means 20 or more.
网站: /datasets/oclc
代码浏览器： 在代码浏览器中查看“oclc_holdings:1”
OCLC Holdings+Editions (to find rare books):
1/1
<number of oclc_holdings>/<number of oclc_editions>. If both numbers are low (but not zero) this might be a rare book.
网站: /datasets/oclc
OCLC Holdings+Editions+LibraryID (to find rare books):
1/1/58122
网站: /datasets/oclc
OCLC Holdings (from library_ids):
1
网站: /datasets/oclc
OCLC Holdings (from search_holdings_all_editions_response):
1
网站: /datasets/oclc
OCLC Holdings (from search_holdings_summary_all_editions):
1
网站: /datasets/oclc
OCLC ISBNs+Holdings+Editions (to find rare books):
2/1/1
网站: /datasets/oclc
OCLC ISBNs+Holdings+Editions+LibraryID (to find rare books):
2/1/1/58122
网站: /datasets/oclc
OCLC Library ID:
58122
OCLC/WorldCat partner library, from which they ingest metadata. Only added for records with less than 10 total holdings.
网站: /datasets/oclc
Open Library:
OL19194211W
代码浏览器： 在代码浏览器中查看“ol:OL19194211W”
Open Library:
OL2391500M
代码浏览器： 在代码浏览器中查看“ol:OL2391500M”
Open Library Source Record:
marc_columbia/Columbia-extract-20221130-002.mrc:163166331:1513
The code for a source record that Open Library imported from.
URL: https://openlibrary.org/show-records/marc_columbia/Columbia-extract-20221130-002.mrc:163166331:1513
网站: /datasets/ol
Open Library Source Record:
marc_loc_2016/BooksAll.2016.part18.utf8:7632432:987
The code for a source record that Open Library imported from.
网站: /datasets/ol
Open Library Source Record:
marc_records_scriblio_net/part19.dat:92835264:986
The code for a source record that Open Library imported from.
网站: /datasets/ol
Open Library Source Record:
promise:bwb_daily_pallets_2023-04-03:P8-CLU-463
The code for a source record that Open Library imported from.
网站: /datasets/ol
Open Library Source Record:
promise:bwb_daily_pallets_2023-07-25:W8-BAC-434
The code for a source record that Open Library imported from.
网站: /datasets/ol
Open Library Subject:
Programming languages (Electronic computers) -- Semantics.
Tag in Open Library.
网站: /datasets/ol
Server Path:
g4/libgenrs_nonfiction/libgenrs_nonfiction/4326000/c4941447cb966250a1a6b46ab41683b0
Path on Anna’s Archive partner servers.
SHA-1:
436b9740bb50ae3ffcd304b5c1d7f221ded65dec
SHA-256:
00d30b906c96f49d2807954186d2569dca145fd20a6ca2f413d339eb8a583d2a
Torrent:
external/libgen_rs_non_fic/r_4326000.torrent
Bulk torrent for long-term preservation.
网站: /torrents
🚀 快速下载
成为会员以支持书籍、论文等的长期保存。为了感谢您对我们的支持，您将获得高速下载权益。❤️
今日下载剩余 XXXXXX 次。感谢您成为会员！❤️
你已经用完了今日的高速下载次数。
你最近下载过此文件。链接在一段时间内仍然有效。
🐢 低速下载
由可信的合作方提供。 更多信息请参见常见问题解答。 （可能需要验证浏览器——无限次下载！）
- 低速服务器（合作方提供） #1 （稍快但需要排队）
- 低速服务器（合作方提供） #2 （稍快但需要排队）
- 低速服务器（合作方提供） #3 （稍快但需要排队）
- 低速服务器（合作方提供） #4 （稍快但需要排队）
- 低速服务器（合作方提供） #5 （无需排队，但可能非常慢）
- 低速服务器（合作方提供） #6 （无需排队，但可能非常慢）
- 低速服务器（合作方提供） #7 （无需排队，但可能非常慢）
- 低速服务器（合作方提供） #8 （无需排队，但可能非常慢）
- 低速服务器（合作方提供） #9 （无需排队，但可能非常慢）
- 下载后： 在我们的查看器中打开
所有选项下载的文件都相同，应该可以安全使用。即使这样，从互联网下载文件时始终要小心。例如，确保您的设备更新及时。
外部下载
- Libgen.rs 非虚构文学板块
- Libgen.li （点击顶部的“GET”） 已知他们的广告包含恶意软件，因此请使用广告拦截器或不要点击广告
- IPFS
- 批量种子下载 （仅限专家） 馆藏 “libgen_rs_non_fic” → 种子 “r_4326000.torrent” → file “c4941447cb966250a1a6b46ab41683b0”
-
对于大文件，我们建议使用下载管理器以防止中断。
推荐的下载管理器：Motrix -
您将需要一个电子书或 PDF 阅读器来打开文件，具体取决于文件格式。
推荐的电子书阅读器：Anna的档案在线查看器、ReadEra和Calibre -
使用在线工具进行格式转换。
推荐的转换工具：CloudConvert和PrintFriendly -
您可以将 PDF 和 EPUB 文件发送到您的 Kindle 或 Kobo 电子阅读器。
推荐的工具：亚马逊的“发送到 Kindle”和djazz 的“发送到 Kobo/Kindle” -
支持作者和图书馆
✍️ 如果您喜欢这个并且能够负担得起，请考虑购买原版，或直接支持作者。
📚 如果您当地的图书馆有这本书，请考虑在那里免费借阅。
下面的文字仅以英文继续。
总下载量：
“文件的MD5”是根据文件内容计算出的哈希值，并且基于该内容具有相当的唯一性。我们这里索引的所有影子图书馆都主要使用MD5来标识文件。
一个文件可能会出现在多个影子图书馆中。有关我们编译的各种数据集的信息，请参见数据集页面。
有关此文件的详细信息，请查看其JSON 文件。 Live/debug JSON version. Live/debug page.