Abstract Interpretation

In Chapter 10 we saw a number of automatic program analyses, and each one was hand crafted. Abstract Interpretation is a generic approach to automatic program analysis. In principle, it covers all of our earlier analyses. In this chapter we ignore the optimizing program transformations that accompan...

Full description

Saved in:
Bibliographic Details
Published inConcrete Semantics pp. 219 - 280
Main Authors Klein, Gerwin, Nipkow, Tobias
Format Book Chapter
LanguageEnglish
Published Switzerland Springer International Publishing AG 2014
Springer International Publishing
Subjects
Abstract Interpretation
Boolean Expression
Complete Lattice
Computer programming / software development
Mathematical theory of computation
Monotone Function
Partial Order
Programming & scripting languages: general
Online AccessGet full text
ISBN3319105418
9783319105413
DOI10.1007/978-3-319-10542-0_13

Cover

Abstract In Chapter 10 we saw a number of automatic program analyses, and each one was hand crafted. Abstract Interpretation is a generic approach to automatic program analysis. In principle, it covers all of our earlier analyses. In this chapter we ignore the optimizing program transformations that accompany certain analyses.
AbstractList In Chapter 10 we saw a number of automatic program analyses, and each one was hand crafted. Abstract Interpretation is a generic approach to automatic program analysis. In principle, it covers all of our earlier analyses. In this chapter we ignore the optimizing program transformations that accompany certain analyses.
Author Nipkow, Tobias
Klein, Gerwin
Author_xml – sequence: 1
  fullname: Klein, Gerwin
– sequence: 1
  fullname: Nipkow, Tobias
BookMark eNqNj01PwzAMhoP4ENvYmQsH_kDAjps4OU4TH5MmcYFz1HUuDKa2NOX_k21Iu3Ky_ErPaz9jdda0jSh1g3CHAHwf2GvShEEj2MJoiEgnakw52Qfu9Ligv1CjAIaBAplLNU3pEwCwAA_GjtT1bJWGvqyG20UzSN_1MpTDpm2u1HldbpNM_-ZEvT0-vM6f9fLlaTGfLXWHRKStC74ObAFcacQacmumNVSlz5fZVFKQNQbJVcKWkaUO6HJOwoySn5ooc-hNXb9p3qWPq7b9ShGzVHaN2TVSzDJxrxZ3rhkqDlDXt98_koYoO6qSJqtsq4-yyyopOsKCPUa0FI3h_2LWemfhiP0CaEFnOw
ContentType Book Chapter
Copyright Springer International Publishing Switzerland 2014
Copyright_xml – notice: Springer International Publishing Switzerland 2014
DBID FFUUA
DOI 10.1007/978-3-319-10542-0_13
DatabaseName ProQuest Ebook Central - Book Chapters - Demo use only
DatabaseTitleList
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
EISBN 3319105426
9783319105420
EndPage 280
ExternalDocumentID EBC6314781_153_227
EBC5586501_153_227
GroupedDBID 0D6
0DA
38.
A0U
A3-
AABBV
AAPCR
ABFTD
ABMNI
ACKEY
ACTXJ
AEJLV
AEKFX
AETDV
AEZAY
AHJUR
ALMA_UNASSIGNED_HOLDINGS
ANZUN
AZZ
BBABE
BZAQK
CZZ
FFUUA
I4C
IEZ
SBO
TPJZQ
Z83
Z88
ID FETCH-LOGICAL-p1333-5698f975006a2e5236d73d0ca841872ce43522136ce75717ef91672c3e771e703
ISBN 3319105418
9783319105413
IngestDate Tue Jul 29 20:18:56 EDT 2025
Thu May 29 00:01:08 EDT 2025
Thu May 29 16:00:03 EDT 2025
IsPeerReviewed false
IsScholarly false
LCCallNum QA75.5-76.95
Language English
LinkModel OpenURL
MergedId FETCHMERGED-LOGICAL-p1333-5698f975006a2e5236d73d0ca841872ce43522136ce75717ef91672c3e771e703
OCLC 902703932
PQID EBC5586501_153_227
PageCount 62
ParticipantIDs springer_books_10_1007_978_3_319_10542_0_13
proquest_ebookcentralchapters_6314781_153_227
proquest_ebookcentralchapters_5586501_153_227
PublicationCentury 2000
PublicationDate 2014
PublicationDateYYYYMMDD 2014-01-01
PublicationDate_xml – year: 2014
  text: 2014
PublicationDecade 2010
PublicationPlace Switzerland
PublicationPlace_xml – name: Switzerland
– name: Cham
PublicationSubtitle With Isabelle/HOL
PublicationTitle Concrete Semantics
PublicationYear 2014
Publisher Springer International Publishing AG
Springer International Publishing
Publisher_xml – name: Springer International Publishing AG
– name: Springer International Publishing
SSID ssj0001408025
Score 1.430754
Snippet In Chapter 10 we saw a number of automatic program analyses, and each one was hand crafted. Abstract Interpretation is a generic approach to automatic program...
SourceID springer
proquest
SourceType Publisher
StartPage 219
SubjectTerms Abstract Interpretation
Boolean Expression
Complete Lattice
Computer programming / software development
Mathematical theory of computation
Monotone Function
Partial Order
Programming & scripting languages: general
Title Abstract Interpretation
URI http://ebookcentral.proquest.com/lib/SITE_ID/reader.action?docID=5586501&ppg=227
http://ebookcentral.proquest.com/lib/SITE_ID/reader.action?docID=6314781&ppg=227
http://link.springer.com/10.1007/978-3-319-10542-0_13
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV3JTsMwELVouSAO7DsoB25VUBwndnqsUKGqoKcW9WZlcaQKaCsaLnw9z1nIQiVULlZkWW4940xm3viNCbllEQ-5TX3Ti63IdBga3_OZqWI4IwLxWBRraOB5xAcTZzh1pyX_PmWXJMFd-LWWV_IfraIPetUs2Q00-zMpOvAM_aKFhtE2nN86zJrVFVjM4fElCq_7O8RTObU-mi1fs5TNeBHM_DJd85bfbPmodN3f6m7pBRryCJNO_RBiFROgTgMTKDDBBqpYAlu1IJLhLYSX5VC2xpBl30Q7u23pl7mtnrDQbCg9jW3qHFmLtISAxdnu9YdPLyXq5Whur6tJNsWvelkZpPJfVAiO62auhQKN7HXqFIz3ya4mihiawYH1H5AtNT8ke8U1GUZuNY_IaSFcoy7cYzJ56I_vB2Z-H4W5RCTPTJd3vbgLF8vivq0QwfNIsMgKfQ-rEHaoHO3NUsZDJVyEydjvlKOfKSGogmk9Ie35Yq7OiMG8iLkK0Y0b6PJBsS-CKOiymFoKUgjsc2IWi5Rp1jw_qhtmS1pJ1_XgW1OJD5a0bfHneM6oJhWX4zuF5KQevpJF-WqIXDIJkctU5FKL_GKj0Zdkp9yTV6SdfHyqa3huSXCTb4dvPXI59w
linkProvider Library Specific Holdings
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=bookitem&rft.title=Concrete+Semantics&rft.au=Nipkow%2C+Tobias&rft.au=Klein%2C+Gerwin&rft.atitle=Abstract+Interpretation&rft.date=2014-01-01&rft.pub=Springer+International+Publishing&rft.isbn=9783319105413&rft.spage=219&rft.epage=280&rft_id=info:doi/10.1007%2F978-3-319-10542-0_13
thumbnail_s http://utb.summon.serialssolutions.com/2.0.0/image/custom?url=https%3A%2F%2Febookcentral.proquest.com%2Fcovers%2F5586501-l.jpg
http://utb.summon.serialssolutions.com/2.0.0/image/custom?url=https%3A%2F%2Febookcentral.proquest.com%2Fcovers%2F6314781-l.jpg