Type Checking
Type checking, or more formally semantic analysis, is the final step in the analysis phase. It is the compiler’s last chance to collect information necessary to begin the synthesis phase. Semantic analysis includes the following:• Determining the types of all names and expressions. • Type checking:...
Saved in:
| Published in: | Introduction to Compiler Construction in a Java World pp. 153 - 196 |
|---|---|
| Main Authors: | , , |
| Format: | Book Chapter |
| Language: | English |
| Published: |
United Kingdom
Chapman and Hall/CRC
2013
CRC Press LLC |
| Subjects: | |
| ISBN: | 1439860882, 9781439860885 |
| Online Access: | Get full text |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Abstract | Type checking, or more formally semantic analysis, is the final step in the analysis phase. It
is the compiler’s last chance to collect information necessary to begin the synthesis phase.
Semantic analysis includes the following:• Determining the types of all names and expressions.
• Type checking: insuring that all expressions are properly typed, for example, that theoperands of an operator have the proper types. |
|---|---|
| AbstractList | Type checking, or more formally semantic analysis, is the final step in the analysis phase. It
is the compiler’s last chance to collect information necessary to begin the synthesis phase.
Semantic analysis includes the following:• Determining the types of all names and expressions.
• Type checking: insuring that all expressions are properly typed, for example, that theoperands of an operator have the proper types. |
| Author | Campbell, Bill Iyer, Swami Akbal-Delibas, Bahar |
| Author_xml | – sequence: 1 givenname: Bill surname: Campbell fullname: Campbell, Bill – sequence: 2 givenname: Swami surname: Iyer fullname: Iyer, Swami – sequence: 3 givenname: Bahar surname: Akbal-Delibas fullname: Akbal-Delibas, Bahar |
| BookMark | eNpVkMtOwzAQRY14iLZ0z5IfCMx4HD-WqIIWqRKb7i0nsWlosIsTQP17UpUNqzu60jnS3Cm7iCl6xm4R7pEDPhilUWjOsQQlC4QzNgXBDUilhDpnUxRktASt-RWbaAOkjOT8ms37_h0AEDVIMBM23xz2_m6x9fWujW837DK4rvfzv5yxzfPTZrEq1q_Ll8XjumgRjCgEUEWN0eS5UcKJ4FSoxotK6bEkctqDrMuqCZJqHYJpVAAvSEIjygZpxuik3ef0-eX7wfoqpV3t45BdV2_dfvC5tyjHDzVZRIulGKnViWpjSPnD_aTcNXZwhy7lkF2s2_5oGTmwx43sv42O7fdobVPk9AvoiVpk |
| ContentType | Book Chapter |
| Copyright | 2013 by Taylor & Francis Group, LLC |
| Copyright_xml | – notice: 2013 by Taylor & Francis Group, LLC |
| DBID | FFUUA |
| DEWEY | 005.4/53 |
| DOI | 10.1201/9781482215076-10 |
| DatabaseName | ProQuest Ebook Central - Book Chapters - Demo use only |
| DatabaseTitleList | |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EISBN | 0429067747 9781482215076 9780429067747 1482215071 |
| EndPage | 196 |
| ExternalDocumentID | EBC1648283_11_154 10_1201_9781482215076_10_version2 |
| GroupedDBID | 38. 5~G AABBV ABARN ABBFG ABEQL ABQPQ ACBYE ACGYG ACLGV ACNAM ACNUM ADVEM ADYHE AEGEX AERYV AEUHU AFIZQ AFOJC AHWGJ AIENH AIXXW AJFER AKQZE AKSCQ ALMA_UNASSIGNED_HOLDINGS ATPON AZZ BBABE BPBUR CXCJS CZZ EBATF GEOUK INALI JJU JTX MX7 NEQ NEV OHILO OODEK PQQKQ FFUUA |
| ID | FETCH-LOGICAL-i1094-403b3d983e2974a4fa7fb974356e1533a8e06c5bdf63c8ff9d7f0e4360d45d13 |
| ISBN | 1439860882 9781439860885 |
| IngestDate | Tue Oct 21 07:59:46 EDT 2025 Fri Mar 28 05:22:44 EDT 2025 |
| IsPeerReviewed | false |
| IsScholarly | false |
| Keywords | Stack Frame Control Flow Graph Type Checking Factorial Program Context Free Grammar Data Flow Analysis Abstract Syntax Tree Class Declaration Return Type Register Allocation Public Void Attribute Grammars Field Selection Symbol Table Nested Block Hash Tables Formal Parameters Common Sub-expression Elimination Nested Scope Class Object Java Language Specification Context Context Java World Binary Numbers |
| LCCallNum | QA76.73.J38 |
| Language | English |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-i1094-403b3d983e2974a4fa7fb974356e1533a8e06c5bdf63c8ff9d7f0e4360d45d13 |
| OCLC | 890379622 |
| PQID | EBC1648283_11_154 |
| PageCount | 44 |
| ParticipantIDs | proquest_ebookcentralchapters_1648283_11_154 informaworld_taylorfrancisbooks_10_1201_9781482215076_10_version2 |
| PublicationCentury | 2000 |
| PublicationDate | 2013 2012 |
| PublicationDateYYYYMMDD | 2013-01-01 2012-01-01 |
| PublicationDate_xml | – year: 2013 text: 2013 |
| PublicationDecade | 2010 |
| PublicationPlace | United Kingdom |
| PublicationPlace_xml | – name: United Kingdom |
| PublicationTitle | Introduction to Compiler Construction in a Java World |
| PublicationYear | 2013 2012 |
| Publisher | Chapman and Hall/CRC CRC Press LLC |
| Publisher_xml | – name: Chapman and Hall/CRC – name: CRC Press LLC |
| SSID | ssj0001180609 ssib056455897 |
| Score | 1.4079208 |
| Snippet | Type checking, or more formally semantic analysis, is the final step in the analysis phase. It
is the compiler’s last chance to collect information necessary... |
| SourceID | proquest informaworld |
| SourceType | Publisher |
| StartPage | 153 |
| SubjectTerms | Computer architecture & logic design Computing: general Programming & scripting languages: general |
| Title | Type Checking |
| URI | https://www.taylorfrancis.com/books/9780429067747/chapters/10.1201/9781482215076-10 http://ebookcentral.proquest.com/lib/SITE_ID/reader.action?docID=1648283&ppg=154&c=UERG |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV1LT-MwELaqwmEFEo8FLU_1wI2NNonjxDkhKJSnWIS6ErfIcWxR0Q2ooFL-PTOxXUhBQkhwiSIrddIZjz3PbwjZYkJIFqvIUzkL0UBJPBHk2pM68CVVUlGDrn-WnJ_zq6v0otHYcbUww35Slnw0Su--ldUwBszG0tlPsHs8KQzAPTAdrsB2uE5oxHXfq8shNBCuyFVQK1HcQe4HVWNOBxWLPg6xfSKGwuTSvBuH6PXHuRfHT7Y716P43xuvkJtc9L19Bfa2qQnbE9diUFuB6N1tXyt5445H613ATg8174ItgqgCGUcCP6DTvnRgk8YGRSDRENXK1_tgYBCA7ZEamKa1b3brsOoSUJvDs0mudQxstFTg4az2aAajQ-NUhDN4KowYZU0ydXjw99-p21IQK4dxGyit3G4B92M_tQFrmPPP5OsnMGvfnNGV4tGdJzNYjNJCAsGXLpCGKhfJnGvF0bI7808yi8RuOWIvkW7noNs-8mynC68XgH0NMkJzWqScqhDsOxFpkegc7iiIESrkgis_liwvdEwl1zotEu2riMZ-EbEioMukWd6W6hdpSV-xIFEcLVnEJcoLP9EqBK0QVH3QNVfI7ut_lz1UfiFtmrjgsr3PPiT2CvntSJJVIX2bRywNLWCGGH7HKViXGWjoq1_wyjXy42V1rpMmCIzaINNy-NC7H2xapj8DQw1dNA |
| linkProvider | ProQuest Ebooks |
| 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=Introduction+to+Compiler+Construction+in+a+Java+World&rft.au=Campbell%2C+Bill&rft.au=Iyer%2C+Swami&rft.au=Akbal-Delibas%2C+Bahar&rft.atitle=Type+Checking&rft.date=2013-01-01&rft.pub=Chapman+and+Hall%2FCRC&rft.isbn=9781482215076&rft.spage=153&rft.epage=196&rft_id=info:doi/10.1201%2F9781482215076-10&rft.externalDocID=10_1201_9781482215076_10_version2 |
| thumbnail_s | http://cvtisr.summon.serialssolutions.com/2.0.0/image/custom?url=https%3A%2F%2Febookcentral.proquest.com%2Fcovers%2F1648283-l.jpg |