Análise de métodos para especificação semântica de linguagens de programação.

DSpace Repository

dc.contributor.advisor	Furtado, Olinto José Varela
dc.contributor.author	Lang, Leonardo Trentini
dc.contributor.other	Lucca, José Eduardo De
dc.contributor.other	Silveira, Ricardo Azambuja
dc.date.accessioned	2018-02-23T20:11:52Z
dc.date.available	2018-02-23T20:11:52Z
dc.date.issued	2005
dc.identifier.other	311
dc.identifier.uri	https://repositorio.ufsc.br/handle/123456789/183874
dc.description	TCC (graduação) - Universidade Federal de Santa Catarina. Centro Tecnológico. Curso de Ciências da Computação.
dc.description.abstract	A teoria das linguagens formais é, além de uma ferramenta muito poderosa para diversas áreas, a principal base teórica para as linguagens de programação, e seu uso na especificação de aspectos léxicos e sintáticos destas é muito comum. Contudo, apesar destes métodos simplificarem o trabalho necessário para se construir um compilador ou interpretador, formalizar a semântica, procedimento este que traria enormes vantagens para o desenvolvimento de linguagens, é uma técnica ainda pouco empregada. Este trabalho apresentará algumas técnicas de especificação semântica e as vantagens trazidas por elas, al ém de formalizar a semântica de uma linguagem de exemplo utilizando uma das técnicas abordadas.
dc.subject	versão-final
dc.title	Análise de métodos para especificação semântica de linguagens de programação.
dc.type	TCCgrad

Files	Size	Format	View
monografia.pdf	401.7Kb	PDF	View/Open