{"id":2901,"date":"2016-12-03T09:54:37","date_gmt":"2016-12-03T11:54:37","guid":{"rendered":"http:\/\/www.inf.ufrgs.br\/profcomp\/?page_id=2901"},"modified":"2019-12-13T15:48:26","modified_gmt":"2019-12-13T18:48:26","slug":"cmp169","status":"publish","type":"page","link":"https:\/\/www.inf.ufrgs.br\/profcomp\/lista-de-disciplinas\/cmp169\/","title":{"rendered":"CMP169"},"content":{"rendered":"<table>\n<tbody>\n<tr>\n<td><strong><span style=\"font-size: 20px;\">Sem\u00e2ntica Formal B<\/span><\/strong><\/p>\n<p><strong><br \/>\nProfessor Respons\u00e1vel:<\/strong>\u00a0<a href=\"http:\/\/www.inf.ufrgs.br\/site\/docente\/daltro-jose-nunes\/\">Daltro Jos\u00e9 Nunes<br \/>\n<\/a><strong>Carga Hor\u00e1ria:<\/strong> 60 hs<br \/>\n<strong>Cr\u00e9ditos:<\/strong> 4<br \/>\n<strong> Semestres Oferecidos:<\/strong> Segundo semestre<\/p>\n<p><strong>S\u00daMULA<br \/>\n<\/strong>Vis\u00e3o geral sobre abordagens sem\u00e2nticas, abordagem axiom\u00e1tica, abordagem denotacional, abordagem operacional, tend\u00eancias futuras<\/p>\n<p><strong>OBJETIVOS<br \/>\n<\/strong>O objetivo da disciplina \u00e9 analisar e aplicar os formalismos e m\u00e9todos das v\u00e1rias abordagens sem\u00e2nticas das linguagens de programa\u00e7\u00e3o.<\/p>\n<p><strong>PROGRAMA<br \/>\n<\/strong>Abordagens: denotacional, axiom\u00e1tica, operacional e de a\u00e7\u00f5es<\/p>\n<p><strong>CRIT\u00c9RIOS DE AVALIA\u00c7\u00c3O<br \/>\n<\/strong>Apresenta\u00e7\u00e3o de um semin\u00e1rio sobre a abordagem operacional.<\/p>\n<p><strong>BIBLIOGRAFIA<\/strong><br \/>\n\u2022 DONAHUE, J. E. Complementary Definitions of Programming Language Semantics.<br \/>\nSpringer-Verlag, 1976. (Lecture Notes in Computer Science, 42)<br \/>\n\u2022 GRIES, D. The Science of Programming. Springer-Verlag, 1981.<br \/>\n\u2022 HOARE, C. A. R., LAUER, P. E. Consistent and Complementary Formal Theories of the Semantics of Programming Languages. Acta Inform\u00e1tica, Berlin, v. 2, n. 4, p. 335-56, Dec. 1973.<br \/>\n\u2022 MANNA, Z. Mathematical Theory of Computation. McGrawHill, 1974.<br \/>\n\u2022 MILNE, R., STRACHEY, C. A Theory of Programming Language Semantics. Chapman and Hall, 1976.<br \/>\n\u2022 SCOTT, D. S. Logic and Programming Languages. Communications of the ACM, New York, v. 20, n. 9,p 634-41, Sept. 1977.<br \/>\n\u2022 Peri\u00f3dicos e anais de congressos.<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Sem\u00e2ntica Formal B Professor Respons\u00e1vel:\u00a0Daltro Jos\u00e9 Nunes Carga Hor\u00e1ria: 60 hs Cr\u00e9ditos: 4 Semestres Oferecidos: Segundo semestre S\u00daMULA Vis\u00e3o geral sobre abordagens sem\u00e2nticas, abordagem axiom\u00e1tica, abordagem denotacional, abordagem operacional, tend\u00eancias futuras OBJETIVOS O objetivo da disciplina \u00e9 analisar e aplicar os formalismos e m\u00e9todos das v\u00e1rias abordagens sem\u00e2nticas das linguagens de programa\u00e7\u00e3o. PROGRAMA Abordagens: denotacional, [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":462,"menu_order":169,"comment_status":"closed","ping_status":"closed","template":"","meta":[],"_links":{"self":[{"href":"https:\/\/www.inf.ufrgs.br\/profcomp\/wp-json\/wp\/v2\/pages\/2901"}],"collection":[{"href":"https:\/\/www.inf.ufrgs.br\/profcomp\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.inf.ufrgs.br\/profcomp\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.inf.ufrgs.br\/profcomp\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.inf.ufrgs.br\/profcomp\/wp-json\/wp\/v2\/comments?post=2901"}],"version-history":[{"count":4,"href":"https:\/\/www.inf.ufrgs.br\/profcomp\/wp-json\/wp\/v2\/pages\/2901\/revisions"}],"predecessor-version":[{"id":2936,"href":"https:\/\/www.inf.ufrgs.br\/profcomp\/wp-json\/wp\/v2\/pages\/2901\/revisions\/2936"}],"up":[{"embeddable":true,"href":"https:\/\/www.inf.ufrgs.br\/profcomp\/wp-json\/wp\/v2\/pages\/462"}],"wp:attachment":[{"href":"https:\/\/www.inf.ufrgs.br\/profcomp\/wp-json\/wp\/v2\/media?parent=2901"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}