Plano de Ensino – Atividades Remotas Emergenciais – 2020/1
Código
DCC024
Disciplina
Linguagens de Programação
Turma
Bacharelado
Professora
Mariza Andrade da Silva Bigonha
Ementa.
Paradigmas de Linguagens: Imperativo, Funcional e Lógico. Paradigmas de Linguagens:
Imperativo, Funcional e Lógico. Conceitos e Paradigmas. Valores e Tipos, Variáveis,
Alocação de Memória. Comandos. Encapsulação. Sistemas de Tipos. Subtipos.
Polimorfismo. Objetos. Classes. Herança. Hierarquia de Tipos.
Estudo de Casos Importantes: Simula-67, Modula-2, Oberon-2, Lisp, Miranda, Prolog.
Retrospectiva da Evolução das Linguagens de Programação.
Programa
Aula Data Conteúdo previsto Modalidade Interação
1 02/03/2020 Apresentação do Curso. Evolução das Linguagens: do Fortran ao PL/1 Expositiva - presencial Presencial 2 04/03/2020 Evolução das Linguagens: da linguagem Simula67 à Java Expositiva - presencial Presencial 3 09/03/2020 Evolução das Linguagens: da linguagem Modula-2 a Aspectj. Artigo LISP (Apenas as páginas 1-30): LISP Expressões Simbólicas e Meta-Expressões. Expositiva - presencial Presencial 4 11/03/2020 LISP: Meta-Expressões. Definições de funções em Lisp Puro. Interpretador Lisp (evalquote). Sistema LISP 1.5 Expositiva - presencial Presencial
5 16/03/2020 Artigo MIRANDAMIRANDA : Tipos Básicos. Listas. Tuplas. Definição de Funções. Guardas. Casamento de Padrões. Declaração de Tipos. Função de Alta Ordem. Filter. Map. Expressões ZF. Padrões Produto e Soma. Expositiva - presencial Presencial 6 18/03/2020 PROLOG: Fatos. Regra de Inferência. Cláusulas de Horn. Exemplos básicos. Expositiva - presencial Presencial 7 ONLINE 03/08/2020 Conceitos Básicos: Valores e Tipos. Tipos primitivos e compostos. síncrona – no horário das aulas Atendimento remoto (Moodle, email)
8 05/08/2020 Tipos Recursivos. Sistemas de Tipo. síncrona – no horário das aulas Atendimento remoto (Moodle, email)
9 10/08/2020 Revisão (LPs. Fortran até Simula67. 1a.pte. da aula) Evolução das
(2a.pte. da aula) Expressões. Variáveis e Modelos de Armazenamento (até Slide 12) Expressões síncrona – no horário das aulas Atendimento remoto (Moodle, email) 10 12/08/2020
Revisão (1a.pte. da aula) Evolução das LPs: Fase IV até Fase VI. (2a.pte. da aula) Expressões. Variáveis e Modelos de Armazenamento (slides 10-22) síncrona – no horário das aulas Atendimento remoto (Moodle, email) 11 13/08/2020 AULA EXTRA – Revisão Aula 4 LISP Aula 5 MIRANDA Síncrona – no
horário da aula Atendimento remoto (email, moodle)
12 17/08/2020 RevisãoEvolução das LPs: de Java a Aula 6 PROLOG. Aula 3 Programação Orientada por Aspecto síncrona – no horário das aulas Atendimento remoto (Moodle, email) 13 19/08/2020 Variáveis e Modelos de Armazenamentos (slides 22-37) Comandos Sequenciadores síncrona – no horário das aulas Atendimento remoto (Moodle, email) 14 24/08/2020 Exercício 1 (presença online) Matéria: 1. Parte I - Cap. 1, DW (David
Watt) e FV (Flávio Varejão) Cap. 18 DW(2004)
Artigos: Lisp, Miranda e Prolog
síncrona – no horário das aulas Atendimento remoto (Moodle, email) 15 26/08/2020 Associação: Ambiente. Escopo. Visibilidade. Definições. Blocos síncrona – no horário das aulas Atendimento remoto (Moodle, email) 16 31/08/2020 Abstração Abstração de Procedimentos e Funções. Princípio da Abstração. Mecanismos de Passagem de Parâmetros. síncrona – no horário das aulas Atendimento remoto (Moodle, email) 17 02/09/2020 Modelo do Contorno Artigo sobre Tipos Abstratos de Dados síncrona – no horário das aulas Atendimento remoto (Moodle, email) 18 09/09/2020 Exercício 2 (presença online) Matéria: 1. Parte II - Cap. 2 DW(2004) Cap 3(FV) 2. Parte II - Cap.3 DW(2004) caps.4 e 5 (FV) síncrona – no horário das aulas Atendimento remoto (Moodle, email) 19 14/09/2020 Encapsulação Conceitos Avançados. Abstração de Dados. síncrona – no horário das aulas Atendimento remoto (Moodle, email) 20 16/09/2020 Conceitos Avançados. Implementação de Abstração de Dados e Tipos Abstratos de Dados síncrona – no horário das aulas Atendimento remoto (Moodle, email)
21 21/09/2020 Exercício 3 (presença online) Matéria: 1. Parte II - Caps. 4, 5 DW(2004) Capítulos: 2 e 5 (FV) 2. Parte III - Cap. 6 e Cap. 7 DW(2004) Capítulos: 6 (FV) síncrona – no horário das aulas Atendimento remoto (Moodle, email) 22 23/09/2020 Abstração Genérica Arquivo Fonte C, Module de Modula-2 e de Oberon-2. Package de Ada. Classes de C++ e Java. Pacotes Genéricos. síncrona – no horário das aulas Atendimento remoto (Moodle, email) 23 28/09/2020 Artigo sobre Tipos, Abstração de Dados e Polimorfismo Sistemas de Tipos Monomorfismo. Polimorfismo. Classificação de Polimorfismo. Politipo. Tipos Parametrizados. Inferência de Tipo. Coerção. Subtipos. Herança X Subtipos. síncrona – no horário das aulas Atendimento remoto (Moodle, email) 24 30/09/2020 Técnicas FormaisArtigo sobre SIMULA-67 . SIMULA67: Conceitos Básicos. Classes e Objetos. Referências. Criação de Objetos. Polimorfismo. Co-Rotinas. Tipos Abstratos de Dados em Simula67. síncrona – no horário das aulas Atendimento remoto (Moodle, email) 25 05/10/2020 Artigo sobre MODULA-2 MODULA-2: Tipos Básicos. Disciplina de Tipos. Expressões. Comandos. Módulos Locais. Unidades de Compilação: Módulos. síncrona – no horário das aulas Atendimento remoto (Moodle, email)
26 07/10/2020 Exercício 4 (presença online)1. Parte III - Capítulo 8 - Type System. Matéria:
2. Semântica Formal síncrona – no horário das aulas Atendimento remoto (Moodle, email) 27 14/10/2020 MODULA-2: Tipos Abstratos de Dados em Modula-2. Co-Rotinas. Criação de Processos. Tratamento de
Interrupções. Artigo From Modula to Oberon síncrona – no horário das aulas Atendimento remoto (Moodle, email) 28 19/10/2020 Artigo sobre OBERON-2Outro Artigo sobre OBERON-2 . OBERON-2 : Tipos Básicos. Expressões. Comandos. Tipos Arranjo e Registro. Tipos Estáticos e Dinâmicos. síncrona – no horário das aulas Atendimento remoto (Moodle, email) 29 21/10/2020 Considerações Finais
síncrona – no horário das aulas Atendimento remoto (Moodle, email)
30 26/10/2020 Prova Final (25 pontos) Matéria: 1. Lisp (passagem de parâmetros 2. Parte IV caps.11-12, 14,15 DW(2004) 3. Capítulos: 1, 7 e 10 (FV) síncrona – no horário das aulas Atendimento remoto (Moodle, email)
31 28/10/2020 Prova Suplementar Válida somente para os alunos, com justificativa plausível, que perderam um dos exercícios ou Prova Final Síncrona no horário das aulas Atendimento remoto (email, moodle, minha página
Bibliografia Indispensável
Livro-Texto
• Watt, David, Programming Language Design Concepts, John Wiley and Sons, Ltd, 2004.Livros-Texto
Os livros a seguir estão em ordem de prioridade. O curso seguirá ordem dada pelo livro do David Watt, citado anteriormente, entretanto, caso sua aquisição seja possível, recomenda-se aos alunos o uso de um dos livros a seguir, nesta ordem. 1. Watt, David, Programming Language Concepts and Paradigms, C.A.R. Hoare series editor, Prentice Hall International Series in Computer Science, 1990. 2. Varejão, Flávio, Linguagens de Programação - Conceitos e Técnicas - JAVA, C e C++ e outras, Editora Campus, 2004. 3. Melo, Ana Cristina Vieira, & Silva, Flávio Soares Corrêa, Princípios de Linguagens de Programação, Editora Edgard Blucher Ltda, 2003. 4. Ghezzi, Carlo, & Jazayeri, Mehdi, Programming Language Concepts, Third Edition, John Wiley & Sons, Inc., New York, 1998.Artigos
1. Ichbiah, J. D., e Morse, S. P., General Concepts of Simula 67 Programming LanguageCompagnie Internation de pour Lt lnformatique, Les Clayes Sous B&s, France. 2. Cardelli,L. & Wegner, P., On Understanding types, data abstraction, and polymorphism, ACM Computing Surveys 17, 471-522. (Obs.: Para o curso, é necessário apenas o texto das páginas 472 a 485). 3. McCarthy, John, et alii, "LISP 1.5 Programmer's Manual, MIT Technical Report, 1962. (Apenas as páginas 1 a 30). 4. Turner, David, An Introduction to Miranda, Apêndice do livro "The Implementation fo Functional Programming Languages" de Simon L. P. Jones, Prentice-Hall International Series in Computer Science. Também foi publicado em SIGPLAN NOTICE, vol 21, # 12, December 1986. 5. Davis, R.E., Logic Programming and Prolog, in Horowitz, páginas 493-502. 6. Sammut R. A. & Sammut C.A., PROLOG: A Tutorial Introduction, The Australian Computer Journal, Vol. 15, No. 2, May/1983.7. Wirth, N., MODULA-2, Technical Report No 36,Institut fur Informatik, ETH, Zurich, March 1980. 8. Wirth, N., From Modula to Oberon, Software - Practice and Experience, Vol 18(7), 661-670, July 1988. 9. Mössenböck, Hanspeter & Wirth, N., The Programming Language Oberon-2, Technical Report, Institut für Computersysteme, ETH Zürich, Janeiro de 1992. 10. Wirth, N., The Programming in Oberon, A derivative of Programming in Modula-2 (1982) 11. Barbara Liskov, Stephen Zilles, PROGRAMMING WITH ABSTRACT DATA TYPES, Massachusetts Institute of Technology Project MAC Cambridge, Massachusetts
Bibliografia Para Consulta
• Horowitz, E. (ed), Programming Languages: A Grand-Tour, Computer Science Press, Rockville, Maryland, 1987 (contém grande parte dos artigos aqui citados) • Pratt, T.W., Programming Languages: Design and Implementation, 2nd edition, Prentice Hall, 1984. • Ghezzi, C, & Jazayeri, M. Programming Language Concepts, 2nd Edition, Wiley New York, 1987. • Stratford-Collins, Ada: A Programmer's Conversion Course, Ellis Horwood Publishers, John Eiley & sons, 1982. • Kernighan, B. & Ritchie, D., The C Programming Language (Ansi C), Prentice Hall Software Series, 1988 • Wegner, P.,Learning the Language, Byte, March 1989, 245-253. • Wirth, N., The Programming Language Oberon, Software - Practice and Experience, Vol 18(7), 671-690, July 1988. • Gosling, B. Joy, and Steele G., The Java Language Specification. Addison-Wesley, Reading, MA, 1996. • ACM87, ACM Turing Award Lectures - The First Twenty Years. Addison-Wesley, Readings, MA, 1987. • Bergin T. J., and Gibson, R. G., History of Programming Languages II. Addison-Wesley, Reading, MA. 1996.Avaliação
Conforme o Art. 65 do Regimento Geral da UFMG, a verificação de rendimento escolar abrangerá os aspectos de frequência e aproveitamento, ambos eliminatórios por si mesmos.
Frequência
A Lei de Diretrizes e Bases da Educação Nacional (LDB 9.394/96),em seu Art. 47, parágrafo 3o, determina que frequência às aulas é obrigatória para alunos e professores. O Regimento Geral da UFMG define frequência às aulas como sendo o comparecimento a no mínimo 75% das atividades didáticas da disciplina, sendo vedado o abono de faltas.Isto significa que sem a freqüência mínima exigida por lei, o aluno está automaticamente reprovado, independentemente do número de pontos acumulados. Cada chamada corresponde a dois lançamentos na caderneta. Uma chamada nominal poderá se feita a qualquer momento da aula, inclusive, logo no seu início, recebendo faltas o aluno que não estiver presente quando seu nome for chamado.
