Estruturas de Linguagens de Programação

Nesta página você encontrará informações sobre a disciplina de Estruturas de Linguagens de Programação (CI214).

Aulas 4as e 6as 19:00, sala PF-11

Exercícios

• 31/08/2007: escrever uma expressão em cálculo lambda que calcula o n-ésimo número de Fibonacci e mostrar as derivações para o cálculo do quinto número da seqüência (3).
  Material sobre cálculo lambda pode ser encontrado em "Foundational Calculi for Programming Languages" (.ps).
  Entregar por email até 04/09/2007. Vale 20% da nota do trabalho. Notas
• 14/09/2007: Dada a expressão lambda (extendida):
  let u = 3 + 2, f = (let v = u + 1 in \x. v + x) in f 2 + f 3
  onde \ representa o símbolo lambda.
  Apresente a redução da expressão indicando em cada redução qual regra foi utilizada. Use as regras de redução disponíveis no artigo "A Natural Semantics for Lazy Evaluation" (.ps).
  Explique por que a sub-expressão "u+1" é avaliada uma única vez.
  Entregar por email até 20/09/2007. Vale 20% da nota do trabalho. Notas

• Prova 1: 31/10/2007 - Notas
• Prova 2: 30/11/2007 - Notas
• Final: 14/12/2007 - Notas

Seminários

• Tempo: 20 min. de apresentação + 5 min. para perguntas. Trazer o arquivo com a apresentaçao no formato PDF em CD ou memória USB. Notas
• 28/09/2007
  • 19:00 - FORTRAN (Bruno P., Francisco, Ruben)
  • 19:25 - COBOL (Caroline, Dyego, Paulo R.)
  • 19:50 - ASPNET/VBNET (Maria, Silvio)
  • 20:15 - JAVASCRIPT (Daniel, Gabriel)
• 03/10/2007
  • 19:00 - TCL/TK (Anderson, Wellton)
  • 19:25 - ADA (Caio)
  • 19:50 - PERL (Adam, Leandro, Vagner)
  • 20:15 - C# (Ramon, Rodolpho)
• 17/10/2007
  • 19:00 - JAVA (Xenocrates)
  • 19:25 - D (Fabiano, Normel, Vitor)
  • 19:50 - LUA (Everaldo, Fabio, Marcos)
  • 20:15 - Ruby (Paulo, Pedro, Raphael)
• 19/10/2007
  • 19:00 - PYTHON (Bruno V., Gustavo, Thiago)
  • 19:25 - SCHEME (Karine, Rafael, Tiago)
  • 19:50 - ML (Flavio, Renato)

Trabalho

• Especificação do trabalho - Notas
• Procedimento para entrega do trabalho

Cálculo da nota: ( P1 * 3 + P2 * 3 + T * 3 + S ) / 10

Bibliografia:

• R. W. Sebesta. Conceitos de Linguagens de Programação, 5a edição. Bookman, 2003. ISBN 85-363-0171-6.

• Flávio Varejão. Linguagens de Programação: Conceitos e Técnicas. Editora Campus, Elsevier, 2004.

• David A. Watt. Programming Languages Concepts and Paradigms. Prentice Hall, 1990.

• Carlo Ghezzi e Mehdi Jazayer. Programming Language Concepts. 2nd Edition, Wiley, 1987.

• Linda W. Friedman. Comparative Programming Languages. Prentice Hall, 1991.

• Ana Cristina Vieira de Melo e Flávio Soares Corrêa da Silva. Princípios de Linguagens de Programação. Edtora Edgard Blücher Ltda, 2003.

• R. Sethi. Programming Languages - Conceps and Constructs, 2nd edition. Prentice-Hall, 1996. ISBN 0-201-59065-4.