Principles of Abstract Interpretation: By Patrick Cousot MIT Press, 2021, ISBN 9780262044905, pp. 1–819. Reviewed by Reinhard Wilhelm

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Formal aspects of computing 2022-06, Vol.34 (2), p.1-3
1. Verfasser:	Wilhelm, Reinhard
Format:	Artikel
Sprache:	eng
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

container_end_page	3
container_issue	2
container_start_page	1
container_title	Formal aspects of computing
container_volume	34
creator	Wilhelm, Reinhard
description
doi_str_mv	10.1145/3546953
format	Article
fullrecord	<record><control><sourceid>crossref</sourceid><recordid>TN_cdi_crossref_primary_10_1145_3546953</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>10_1145_3546953</sourcerecordid><originalsourceid>FETCH-crossref_primary_10_1145_35469533</originalsourceid><addsrcrecordid>eNqNzr8KwjAQgPFDFKx_8BW6iFM15yVCRhFFtw4ObiGWFCK1LXdZfHsR-gBO3_INP4AVqi2iNjsy-mANjSBDTVTsrX2MIVOWdGGUpinMRF5KobGIGaxLjm0V-yZI3tX58SmJfZXyW5sC9xyST7FrFzCpfSNhOXQOm8v5froWFXciHGrXc3x7_jhU7qdwg4L-P7-0sDVp</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype></control><display><type>article</type><title>Principles of Abstract Interpretation: By Patrick Cousot MIT Press, 2021, ISBN 9780262044905, pp. 1–819. Reviewed by Reinhard Wilhelm</title><source>EZB Electronic Journals Library</source><creator>Wilhelm, Reinhard</creator><creatorcontrib>Wilhelm, Reinhard</creatorcontrib><identifier>ISSN: 0934-5043</identifier><identifier>EISSN: 1433-299X</identifier><identifier>DOI: 10.1145/3546953</identifier><language>eng</language><ispartof>Formal aspects of computing, 2022-06, Vol.34 (2), p.1-3</ispartof><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed><cites>FETCH-crossref_primary_10_1145_35469533</cites><orcidid>0000-0002-5599-7560</orcidid></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>314,780,784,27924,27925</link.rule.ids></links><search><creatorcontrib>Wilhelm, Reinhard</creatorcontrib><title>Principles of Abstract Interpretation: By Patrick Cousot MIT Press, 2021, ISBN 9780262044905, pp. 1–819. Reviewed by Reinhard Wilhelm</title><title>Formal aspects of computing</title><issn>0934-5043</issn><issn>1433-299X</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2022</creationdate><recordtype>article</recordtype><recordid>eNqNzr8KwjAQgPFDFKx_8BW6iFM15yVCRhFFtw4ObiGWFCK1LXdZfHsR-gBO3_INP4AVqi2iNjsy-mANjSBDTVTsrX2MIVOWdGGUpinMRF5KobGIGaxLjm0V-yZI3tX58SmJfZXyW5sC9xyST7FrFzCpfSNhOXQOm8v5froWFXciHGrXc3x7_jhU7qdwg4L-P7-0sDVp</recordid><startdate>20220630</startdate><enddate>20220630</enddate><creator>Wilhelm, Reinhard</creator><scope>AAYXX</scope><scope>CITATION</scope><orcidid>https://orcid.org/0000-0002-5599-7560</orcidid></search><sort><creationdate>20220630</creationdate><title>Principles of Abstract Interpretation</title><author>Wilhelm, Reinhard</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-crossref_primary_10_1145_35469533</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2022</creationdate><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Wilhelm, Reinhard</creatorcontrib><collection>CrossRef</collection><jtitle>Formal aspects of computing</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Wilhelm, Reinhard</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Principles of Abstract Interpretation: By Patrick Cousot MIT Press, 2021, ISBN 9780262044905, pp. 1–819. Reviewed by Reinhard Wilhelm</atitle><jtitle>Formal aspects of computing</jtitle><date>2022-06-30</date><risdate>2022</risdate><volume>34</volume><issue>2</issue><spage>1</spage><epage>3</epage><pages>1-3</pages><issn>0934-5043</issn><eissn>1433-299X</eissn><doi>10.1145/3546953</doi><orcidid>https://orcid.org/0000-0002-5599-7560</orcidid></addata></record>
fulltext	fulltext
identifier	ISSN: 0934-5043
ispartof	Formal aspects of computing, 2022-06, Vol.34 (2), p.1-3
issn	0934-5043 1433-299X
language	eng
recordid	cdi_crossref_primary_10_1145_3546953
source	EZB Electronic Journals Library
title	Principles of Abstract Interpretation: By Patrick Cousot MIT Press, 2021, ISBN 9780262044905, pp. 1–819. Reviewed by Reinhard Wilhelm
url	https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-07T16%3A13%3A26IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-crossref&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Principles%20of%20Abstract%20Interpretation:%20By%20Patrick%20Cousot%20MIT%20Press,%202021,%20ISBN%209780262044905,%20pp.%201%E2%80%93819.%20Reviewed%20by%20Reinhard%20Wilhelm&rft.jtitle=Formal%20aspects%20of%20computing&rft.au=Wilhelm,%20Reinhard&rft.date=2022-06-30&rft.volume=34&rft.issue=2&rft.spage=1&rft.epage=3&rft.pages=1-3&rft.issn=0934-5043&rft.eissn=1433-299X&rft_id=info:doi/10.1145/3546953&rft_dat=%3Ccrossref%3E10_1145_3546953%3C/crossref%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true