Linguagem de programação

O que é estudado: 

Conceitos. Paradigmas de linguagens de programação: imperativas, funcionais, lógicas e orientadas a objetos. Noções de semântica formal. Teoria dos tipos: sistemas de tipos, polimorfismo. Verificação e inferência de tipos. Semântica formal de tipos.

Linguagens de Programação

Uma das principais metas das linguagens de programação é permitir que programadores tenham uma maior produtividade, permitindo expressar suas intenções mais facilmente do que quando comparado com a linguagem que um computador entende nativamente (código de máquina). Assim, linguagens de programação são projetadas para adotar uma sintaxe de nível mais alto, que pode ser mais facilmente entendida por programadores humanos. Linguagens de programação são ferramentas importantes para que programadores e engenheiros de software possam escrever programas mais organizados e com maior rapidez.

Linguagens de programação também tornam os programas menos dependentes de computadores ou ambientes computacionais específicos (propriedade chamada de portabilidade). Isto acontece porque programas escritos em linguagens de programação são traduzidos para o código de máquina do computador no qual será executado em vez de ser diretamente executado. Uma meta ambiciosa do Fortran, uma das primeiras linguagens de programação, era esta independência da máquina onde seria executada.

A evolução das linguagens de programação continua, tanto na indústria quanto na pesquisa. Algumas das tendências atuais incluem:
  • Mecanismos para a adição de segurança e verificação da confiabilidade para a linguagem: verificação estática prolongada, controle de fluxo de informação, estático segurança em threads.
  • Mecanismos alternativos de modularidade: mixin s, Delegação de programação, programação orientada a aspectos.
  • Desenvolvimento de software orientado a componentes.
  • Metaprogramação, Reflexão ou acesso a árvores de sintaxe abstratas.
  • Maior ênfase na distribuição e mobilidade.
  • Integração com bases de dados, incluindo XML e bancos de dados relacionais.
  • Suporte para Unicode de forma que o código-fonte não esteja restrito aos caracteres contidos no código ASCII; permitindo, por exemplo, o uso de scripts não latinos ou pontuação estendida.
  • XML para a interfaces gráficas (XUL, XAML).
O Simpósio Brasileiro de Lingagens de Programação (SBLP)

A Comissão Especial em Linguagens de Programação (CELP) reúne associados da Sociedade Brasileira de Computação interessados em Linguagens de Programação e áreas afins. Ela organiza o Simpósio Brasileiro de Linguagens de Programação (SBLP), evento que faz parte do Congresso Brasileiro de Software: Teoria e Prática (CBSoft).

O Simpósio Brasileiro de Linguagens de Programação (SBLP) é um simpósio brasileiro da SBC direcionado ao estudo de linguagens de programação para o desenvolvimento de software.
Esse simpósio também já se consolidou no calendário científico nacional como um importante evento técnico-científico na área de software. Sua primeira edição ocorreu no ano de 1997, indo para sua 15a edição no ano de 2011.

O SBLP tem como objetivo criar um fórum em que pesquisadores, estudantes e profissionais possam apresentar e discutir princípios e inovações no projeto, definição, análise, transformação e implementação de linguagens de programação.
    Referências:

    http://www.sbc.org.br/index.php?option=com_content&view=category&layout=blog&id=48&Itemid=69
    • CAMPBELL-KELLY, Martin. From Airline Reservations to Sonic the Hedgehog: A History of the Software Industry. Cambridge, Massachusetts: The MIT Press, 2003. 372 p. ISBN 0-262-03303-8
    • CERUZZI, Paul E.. A History of Modern Computing. Cambridge, Massachusetts: The MIT Press, 1998. 398 p. ISBN 0-262-03255-4
    • CORTADA, James W.. A Bibliografic Guide to the History of Computing, Computers, and the Information Processing Industry. New York: Greenwood Press, 1990. 644 p. ISBN 0-313-26810-X
    • IFRAH, Georges. The Universal History of Computing. New York: John Wiley and Sons, 2001. 410 p. ISBN 0-471-39671-0
    • METROPOLIS, N.; HOWLETT, J; ROTA, Gian-Carlo(editores). A History of Computing in the Twentieth Century. New York: Academic Press, 1980. 659 p. ISBN 0-12-491650-3
    • ORGANICK, E. I.;FORSYTHE, A. I.;PLUMMER, R. P.. Programming Language Structures. New York: Academic Press, 1978. 659 p. ISBN 0-12-528260-5
    • SAMMET, Jean E. Programming Languages: History and Fundamentals. Englewood Cliffs, New Jersey: Prentice Hall, 1969. 785 p. ISBN 0-13-729988-5
    • WEXELBLAT, Richard L.(Editor). History of Programming Languages. New York: Academic Press, 1981. 758 p. ISBN 0-12-745040-8
    Assinar: Comentários (Atom)