universidade católica do salvador curso de bacharelado em

UNIVERSIDADE CATÓLICA DO SALVADOR
CURSO DE BACHARELADO EM INFORMÁTICA
Reconhecido pela Portaria Ministerial n.º 2.077 publicada no D.O.U em 03/11/97
PROGRAMA DE DISCIPLINA
DISCIPLINA
Compiladores
SEMESTRE
5º Vesp / 6º Not
PRÉ-REQUISITO
CÓDIGO
INF365
DEPARTAMENTO
Informática
CARGA HORÁRIA
N.º DE CRÉDITOS:
68 (sessenta e oito) horas
04 (quatro)
VIGÊNCIA DO CURRÍCULO:
1999/1
EMENTA
Organização e estrutura de compiladores e interpretadores. Gramática formal. Análise sintática.
Geração de código. Otimização de código. Recuperação de erros.
OBJETIVOS: COMPETÊNCIAS E HABILIDADES
!
CONTEÚDO PROGRAMÁTICO:
"
#!
! !
" !
#$
' (
! !
!
"
#$
+
,./
"
1
+
3 4 53
#$
"
#$ 7
7
"
4
!
#$
8
9
& : #%
&
)
*
0
2
6
#%
#$
! !
7
#$
#$
UNIVERSIDADE CATÓLICA DO SALVADOR
CURSO DE BACHARELADO EM INFORMÁTICA
Reconhecido pela Portaria Ministerial n.º 2.077 publicada no D.O.U em 03/11/97
$
&
)
*
0
2
6
% & &
! 4-
;
<
"
#$
#7
! !
#$
5=
#%
#$
#$
#$
&
#$
) > #%
*
#$
0
2
#$
6
#$
81 #$
! !
?
#$
?
#%
?
!
?
(
%
#%
&
)
*
0
2
6
7
(
:
- !
#%
"
!>
"
!"
?
-
A
@"
A
,
7 @
, 1
3
9@
4
#$
3
#$
;
-
) $*
+*
)
#%
1
)
8
#%
)
3
) & ,
) ) ,
,
*
*
*
7-
-
#$
> #% <
#$
, 1!
<
-
'
&
&
&
&
&
&
&
&
&
1
-
9@
;
9@
% 9@
./ 1
1
/1
#$
@
-
7 ! !
UNIVERSIDADE CATÓLICA DO SALVADOR
CURSO DE BACHARELADO EM INFORMÁTICA
Reconhecido pela Portaria Ministerial n.º 2.077 publicada no D.O.U em 03/11/97
* &
* ) 3
.
0
0
8
@
#%
/
-
B
.
0 1
•
•
•
,
4
•
•
,
;
2
"3 &
METODOLOGIA
C
@
Leitura de artigos e textos auxiliares sobre tópicos atuais relacionados a
•
•
•
•
#$
#$
D
@ /
$
@
/
1
AVALIAÇÃO
Primeira Prova de compiladores
Pesquisa / trabalhos de grupo e em sala
Segunda Prova de compiladores
Projeto de Compiladores (projeto de implementação)
Peso 2,50
Peso 1,00
Peso 2,50
Peso 4,00
BIBLIOGRAFIA
Referências Obrigatórias:
• AHO, Alfred V; SETHI, Ravi e ULLMAN, Jeffrey D.: “Compiladores – Princípios, Técnicas e
Ferramentas”, Livros Técnicos e Científicos Editora S.A., 1995
• APPEL, Andrew W: “Modern Compiler Implementation in Java”, Cambridge Univ, 1998
• MUCHNICK, Steven S: “Advanced Compiler Design and Implementation”, Morgan
Kauffman, 1997
Referências Complementares:
• SUDKAMP, Thomas A: “Languages and Machines, na introdutory to the theory of computer
Science”, Addison Wesley, 1997
• STRAUBING, Howard : “Finite Automata, Formal Logic, and Circuit Complexity”, Birkhauser
Boston, 1994
• TREMBLAY, Jean-Paul; SORENSON, Paul G: “The Teory and Practice of Compiler
Writing”, McGrawHill, 1985