Program Analysis

Program analysis, also known as static analysis, describes a whole field of techniques for the static (i.e. compile-time) analysis of programs.

Saved in:
Bibliographic Details
Published inConcrete Semantics pp. 143 - 178
Main Authors Klein, Gerwin, Nipkow, Tobias
Format Book Chapter
LanguageEnglish
Published Switzerland Springer International Publishing AG 2014
Springer International Publishing
Subjects
Boolean Expression
Computer programming / software development
Induction Hypothesis
Mathematical theory of computation
Program Analysis
Programming & scripting languages: general
Rule Induction
Sequential Composition
Online AccessGet full text
ISBN3319105418
9783319105413
DOI10.1007/978-3-319-10542-0_10

Cover

Abstract Program analysis, also known as static analysis, describes a whole field of techniques for the static (i.e. compile-time) analysis of programs.
AbstractList Program analysis, also known as static analysis, describes a whole field of techniques for the static (i.e. compile-time) analysis of programs.
Author Nipkow, Tobias
Klein, Gerwin
Author_xml – sequence: 1
  fullname: Klein, Gerwin
– sequence: 1
  fullname: Nipkow, Tobias
BookMark eNqNj8tOwzAQRY14iLZU4gNY8AOGGU_8yLKqKCBVggWsLSdxSiEkwQ4L_h6nReqW1ehe6dzRmbKTtms9Y1cINwigb3NtOHHCnCPITHCwCEdsSqnZFer4ENCcsUkOQgPlJM7ZPMZ3AMAMDAg5YZfPodsE93m9aF3zE7fxgp3Wrol-_ndn7HV197J84Oun-8flYs17JAJeC210XYCoMsgVGSVScMYVRVlRCQqcIw1O1qUnUwkiqgSA9CrTiKLQNGNivxv7sG03Ptii6z5iUrGjpE2SlmyysDsnO9YJyvZQH7qvbx8H60eq9O0QXFO-uX7wIVpFmGmDNn2yKMV_MSmNknDAfgGBYGVG
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_10
DatabaseName ProQuest Ebook Central - Book Chapters - Demo use only
DatabaseTitleList
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
EISBN 3319105426
9783319105420
EndPage 178
ExternalDocumentID EBC6314781_112_152
EBC5586501_112_152
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-p1330-f2787fb02d40963862fb0a8abbcd3c060aa370a5fce38d2333d2005e647112b73
ISBN 3319105418
9783319105413
IngestDate Tue Jul 29 20:21:27 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-p1330-f2787fb02d40963862fb0a8abbcd3c060aa370a5fce38d2333d2005e647112b73
OCLC 902703932
PQID EBC5586501_112_152
PageCount 36
ParticipantIDs springer_books_10_1007_978_3_319_10542_0_10
proquest_ebookcentralchapters_6314781_112_152
proquest_ebookcentralchapters_5586501_112_152
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.4310175
Snippet Program analysis, also known as static analysis, describes a whole field of techniques for the static (i.e. compile-time) analysis of programs.
SourceID springer
proquest
SourceType Publisher
StartPage 143
SubjectTerms Boolean Expression
Computer programming / software development
Induction Hypothesis
Mathematical theory of computation
Program Analysis
Programming & scripting languages: general
Rule Induction
Sequential Composition
Title Program Analysis
URI http://ebookcentral.proquest.com/lib/SITE_ID/reader.action?docID=5586501&ppg=152
http://ebookcentral.proquest.com/lib/SITE_ID/reader.action?docID=6314781&ppg=152
http://link.springer.com/10.1007/978-3-319-10542-0_10
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV3NS8MwFA9uXsTD_MRvevAmlTRJm_QoMh1Dh4dNdgtNk8JQt-Hqxb_el36sXR3IvJQ2hLR5L3l9H_m9h9A11hFXkee7XAUUDBQauIokYPPA4gk5NlowCxR-HgS9EeuP_XFVljRDl6TqNv5eiyv5D1ehDfhqUbIbcHY5KDTAPfAXrsBhuDaU31U3a55XYDYFjS81sN0_gDy1U-uDyfwtD9kMZ2oSVeGa96Ky5aOxeX_rq-UlP6a1zFFSdwZ4rOEMKJ2BDXdi5dFasR4pbD9Qr5hHaxLMy7MmFT9DL6-v80vO1o9WWBiUHYa4Np7dQi3OQdRs33X7T6-Vu4tZUK9v0TXlW0We_6j6ihqycd3IKzZAI2ydaQPDPbRrESKOhW7A_PfRlpkeoE5ZH8MpxOUh6hRUdUqqHqHRQ3d433OLChTuHGx37CYE5FmiMNFgBoOkCgg8RCJSKtY0xgGOIspx5CexoUITSqm2XjoTwC_fI4rTY9SezqbmBDmcYRVSsPa0ECxmIkw0B5IoIagOFU9OkVvOTmZx8uJwbpzPZSF9X4A27YHJRiQoXX_2D6hnYcRV_5uSZNJ2X8gyYTXQWlIJtJYZraVtPtuo9znaqRbjBWqnn1_mEnS1VF0V6-AHJcI0Tg
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=Program+Analysis&rft.date=2014-01-01&rft.pub=Springer+International+Publishing&rft.isbn=9783319105413&rft.spage=143&rft.epage=178&rft_id=info:doi/10.1007%2F978-3-319-10542-0_10
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