{"id":2373,"date":"2020-12-15T01:10:01","date_gmt":"2020-12-15T04:10:01","guid":{"rendered":"https:\/\/semantico.com.br\/blog\/?post_type=entity&p=2373"},"modified":"2020-12-15T01:10:01","modified_gmt":"2020-12-15T04:10:01","slug":"analise-semantica","status":"publish","type":"entity","link":"https:\/\/semantico.com.br\/blog\/en\/Vocabulario\/analise-semantica\/","title":{"rendered":"An\u00e1lise sem\u00e2ntica"},"content":{"rendered":"

An\u00e1lise sem\u00e2ntica<\/a><\/b>\u00a0\u00e9 um processo de um\u00a0<\/span>compilador<\/a>\u00a0<\/span>(de uma\u00a0<\/span>linguagem de programa\u00e7\u00e3o<\/a>) na qual s\u00e3o verificados os erros sem\u00e2nticos<\/a> (por exemplo, divis\u00e3o de um n\u00famero inteiro por outro n\u00famero real (float<\/a>) no padr\u00e3o\u00a0ANSI<\/a>) no\u00a0<\/span>c\u00f3digo fonte<\/a>\u00a0<\/span>e coletadas as informa\u00e7\u00f5es<\/a> necess\u00e1rias para a pr\u00f3xima fase da compila\u00e7\u00e3o, que \u00e9 a\u00a0<\/span>gera\u00e7\u00e3o<\/a>\u00a0<\/span>de\u00a0<\/span>c\u00f3digo objeto<\/a>.<\/p>\n

An\u00e1lise sem\u00e2ntica e sint\u00e1tica<\/h2>\n

A an\u00e1lise sem\u00e2ntica trata a entrada sint\u00e1tica e transforma-a numa representa\u00e7\u00e3o mais simples e mais adaptada a gera\u00e7\u00e3o de c\u00f3digo. Esta camada do compilador fica igualmente encarregada de analisar a utiliza\u00e7\u00e3o dos identificadores e de ligar cada uma delas a sua declara\u00e7\u00e3o. Nesta situa\u00e7\u00e3o verificar-se se o programa respeita as regras de visibilidade e de porte dos identificadores. Al\u00e9m disso, \u00e9 tamb\u00e9m esperado que no processo da compila\u00e7\u00e3o verifique se cada express\u00e3o definida tem um tipo adequado conforme as regras pr\u00f3prias da linguagem.<\/p>\n

O objetivo da an\u00e1lise sem\u00e2ntica \u00e9 trabalhar nesse n\u00edvel de inter-relacionamento entre partes distintas do programa. As tarefas b\u00e1sicas desempenhadas durante a an\u00e1lise sem\u00e2ntica incluem a verifica\u00e7\u00e3o de tipos, a verifica\u00e7\u00e3o do fluxo de controle e a verifica\u00e7\u00e3o da unicidade da declara\u00e7\u00e3o de vari\u00e1veis. Dependendo da linguagem de programa\u00e7\u00e3o, outros tipos de verifica\u00e7\u00f5es podem ser necess\u00e1rios.<\/p>\n","protected":false},"excerpt":{"rendered":"

An\u00e1lise sem\u00e2ntica\u00a0\u00e9 um processo de um\u00a0compilador\u00a0(de uma\u00a0linguagem de programa\u00e7\u00e3o) na qual s\u00e3o verificados os erros sem\u00e2nticos (por exemplo, divis\u00e3o de um n\u00famero inteiro por outro n\u00famero real (float) no padr\u00e3o\u00a0ANSI) no\u00a0c\u00f3digo fonte\u00a0e coletadas as informa\u00e7\u00f5es necess\u00e1rias para a pr\u00f3xima fase da compila\u00e7\u00e3o, que \u00e9 a\u00a0gera\u00e7\u00e3o\u00a0de\u00a0c\u00f3digo objeto. As tarefas b\u00e1sicas desempenhadas durante a an\u00e1lise sem\u00e2ntica incluem a verifica\u00e7\u00e3o de tipos, a verifica\u00e7\u00e3o do fluxo de controle e a verifica\u00e7\u00e3o da unicidade da declara\u00e7\u00e3o de vari\u00e1veis.<\/p>\n","protected":false},"author":2,"featured_media":3214,"comment_status":"open","ping_status":"closed","template":"","meta":{"wl_entities_gutenberg":"","episode_type":"","audio_file":"","podmotor_file_id":"","podmotor_episode_id":"","cover_image":"","cover_image_id":"","duration":"","filesize":"","filesize_raw":"","date_recorded":"","explicit":"","block":"","itunes_episode_number":"","itunes_title":"","itunes_season_number":"","itunes_episode_type":"","footnotes":""},"categories":[3476],"wl_entity_type":[43],"class_list":["post-2373","entity","type-entity","status-publish","has-post-thumbnail","hentry","category-sin-categorizar","wl_entity_type-thing"],"_wl_alt_label":["semanticamente","an\u00e1lise sem\u00e2ntica"],"wl:entity_url":"http:\/\/data.wordlift.io\/wl0221\/entity\/analise-semantica","_links":{"self":[{"href":"https:\/\/semantico.com.br\/blog\/en\/wp-json\/wp\/v2\/entities\/2373","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/semantico.com.br\/blog\/en\/wp-json\/wp\/v2\/entities"}],"about":[{"href":"https:\/\/semantico.com.br\/blog\/en\/wp-json\/wp\/v2\/types\/entity"}],"author":[{"embeddable":true,"href":"https:\/\/semantico.com.br\/blog\/en\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/semantico.com.br\/blog\/en\/wp-json\/wp\/v2\/comments?post=2373"}],"version-history":[{"count":0,"href":"https:\/\/semantico.com.br\/blog\/en\/wp-json\/wp\/v2\/entities\/2373\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/semantico.com.br\/blog\/en\/wp-json\/"}],"wp:attachment":[{"href":"https:\/\/semantico.com.br\/blog\/en\/wp-json\/wp\/v2\/media?parent=2373"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/semantico.com.br\/blog\/en\/wp-json\/wp\/v2\/categories?post=2373"},{"taxonomy":"wl_entity_type","embeddable":true,"href":"https:\/\/semantico.com.br\/blog\/en\/wp-json\/wp\/v2\/wl_entity_type?post=2373"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}