UA
   PROCESSADORS DE LLENGUATGE    Any acadèmic       Versió PDF.  Versió PDF per a convalidació.
Codi9184Descripció
Crdts. Teor.6COMPILADORS. TRADUCTORS I INTÈRPRETS. FASES DE COMPILACIÓ. OPTIMITZACIÓ DE CODI. MACROPROCESSADORS.
Crdts. Pract.3
A efectes d'intercanvis en programes de mobilitat, la càrrega d'aquesta assignatura equival a 11,25 ECTS.


Departamentos y Áreas
DepartamentsÀreaCrdts. Teor.Crdts. Pract.Dpto. Respon.Respon. Acta
LLENGUATGES I SISTEMES INFORMÀTICSLLENGUATGES I SISTEMES INFORMÀTICS63


Estudis en què s'imparteix
Enginyeria en Informàtica - pla 2001


Prerequisitos
LLENGUATGES, GRAMÀTIQUES I AUTÒMATS
LLENGUATGES I PARADIGMES DE PROGRAMACIÓ


Incompatibilitats de matricula per continguts equivalents
Sense Dades


Matriculats (2013-14)
Grup (*)Nombre
1 46
TOTAL 46
(*) 1: GRUPO 1 - CAS


Oferida com a lliure elecció (2013-14)
Sense departament
Consulta Gràfica d'Horari
A efectes d'intercanvis en programes de mobilitat, la càrrega d'aquesta assignatura equival aFeu clic ací


Horari (2013-14)
Sense horari


Grups de matricula (2013-14)
Grup (*)QuadrimestreTornIdiomaDistribució (lletra nif)
1 Anual M CAS des de - fins a -
(*) 1: GRUPO 1 - CAS


Objectius de l'assignatura / competències (2013-14)

- Diferenciar entre els diferents tipus de programes processadors de llenguatges informàtics: analitzadors, traductors, compiladors, intèrprets, etc.

- Modelar els aspectes estructurals d´un llenguatge informàtic.

- Descobrir com la construcció de l´arbre d´anàlisi sintàctica permet guiar el procés de traducció.

- Modelar i reconéixer els components lèxics d´un llenguatge informàtic mitjançant expressions regulars i autòmats finits.

- Implementar analitzadors lèxics.

- Adquirir una comprensió intuïtiva de l´algorisme d´anàlisi descendent.

- Dissenyar esquemes de traducció dirigida per la sintaxi correctes.

- Implementar esquemes de traducció sobre analitzadors sintàctics recursius.

- Implementar adequadament un sistema de tipus a partir de l´especificació.

- Identificar les idees fonamentals que permeten generar codi per a diferents elements dels llenguatges orientats a objectes.

- Identificar l´influència dels diferents tipus de llenguatge intermedi en el mètode seguit per a la generació del codi.

- Treballar amb diferents tipus de màquines virtuals i arquitectures.

- Identificar els possibles contextos d´aplicació de les diferents tècniques estudiades durant el curs.

- Adaptar els conceptes abordats en l´assignatura a situacions diàries.

- Distingir entre els dos sentits, descendent i ascendent, d´anàlisi sintàctica i ser capaç de realitzar un seguiment mental del procés de derivació en els dos casos.

- Adquirir una comprensió intuïtiva de l´algorisme d´anàlisi per desplaçament i reducció.


Continguts teòrics i pràctics (2013-14)

1. Introducció: què estudiarem i per a què serveix; fases del desenvolupament d'un traductor o d'un intrèrpret
2. Anàlisi lèxica: especificació de components lèxics; algorisme de segmentació en tokens
3. Anàlisi sintàctica: disseny de gramàtiques; ambigüitat; recursivitat; formes BNF i EBNF
4. Análisi sintàctica descendent: algorismes LL(1), LL(k), LL(*); generador d'analitzadors ANTLR
5. Traducció dirigida por la sintaxi: esquemes de traducció dirigida per la sintaxi (ETDS); atributs heretats i sintetitzats
6. Generació de codi per a diferents arquitectures i màquines virtuals: ETDS per a la generació de codi per a expressions, instruccions, classes, objectes i mètodes; màquines virtuals de .Net i de Java
7. Altres aspectes del disseny de compiladors: altres màquines virtuals; generació de codi assamblador
8. Anàlisi sintàctica ascendent: anàlisi SLR i LALR; generador d'analitzadors Bison


Enllaç al programa
Professor/a responsable
Moreno Seco , Francisco


Metodologia docent (2013-14)
Classes teòriques i pràctiques
A partir del curso 2013-2014, la asignatura no tendrá docencia debido a la extinción del plan de estudios, por lo que no habrá clases teóricas ni prácticas, pero sí se podrá acudir a tutorías del profesor responsable de la asignatura. Durante tres cursos académicos, 2013-2014, 2014-2015 y 2015-2016, se realizarán unicamente exámenes.


Tipus d'activitats: teòriques i pràctiques
Laboratoris


Professorat (2013-14)
Grup Professor
TEORIA DE 91841Moreno Seco, Francisco
Pérez Ortiz, Juan Antonio
PONCE DE LEON AMADOR, PEDRO JOSE
Enllaços relacionats
http://compilers.iecc.com/
http://dinosaur.compilertools.net/
http://dinosaur.compilertools.net/
http://dotgnu.org/
http://gcc.gnu.org/onlinedocs/gccint/
http://lsi.ugr.es/~pl/software.php
http://public.research.att.com/~bs/
https://www.coursera.org/course/compilers
http://www.bloodshed.net/compilers/index.html
http://www.bloodshed.net/compilers/index.html
http://www.geekronomicon.com/?q=node/68
http://www.jflap.org/
http://www.thefreecountry.com/programming/compilerconstruction.shtml
http://www.thefreecountry.com/programming/compilerconstruction.shtml


Bibliografia

CLR via C#
Autors:Richter, Jeffrey
Edició:Dades no disponibles.
ISBN:978-0735621633
Recomanat per: PEREZ ORTIZ, JUAN ANTONIO (*1)
[ Accés al catàleg de la biblioteca universitària ]

Compiladores : principios, técnicas y herramientas
Autors:Aho, Alfred V.
Edició:México : Addison-Wesley Iberoamericana, 1998.
ISBN:968-444-333-1
Recomanat per: MORENO SECO, FRANCISCO (*1)
[ Accés al catàleg de la biblioteca universitària ] [ Accés a les edicions anteriors ]

Compiler construction : principles and practice
Autors:Louden, Kenneth C.
Edició:Boston : PWS Publishing Company, 1997.
ISBN:0-534-93972-4
Recomanat per: MORENO SECO, FRANCISCO (*1)
[ Accés al catàleg de la biblioteca universitària ]

Compiling with C# and Java
Autors:Pat Terry
Edició:Harlow [etc.] : Pearson Education, 2005.
ISBN:0-321-26360-X
Recomanat per: PEREZ ORTIZ, JUAN ANTONIO (*1)
[ Accés al catàleg de la biblioteca universitària ]

Concepts in programming languages
Autors:John C. Mitchell
Edició:Cambridge (Reino Unido) : Cambridge University Press, 2003.
ISBN:0-521-78098-5 (cart.)
Recomanat per: PEREZ ORTIZ, JUAN ANTONIO (*1)
[ Accés al catàleg de la biblioteca universitària ]

Construcción de compiladores: principios y práctica
Autors:Louden, Kenneth C.
Edició:México : Thomson, 2004.
ISBN:970-686-299-4
Recomanat per: PEREZ ORTIZ, JUAN ANTONIO (*1)

Decompiling Java
Autors:NOLAN, Godfrey
Edició:Berkeley : Apress, 2004.
ISBN:1590592654
Recomanat per: PEREZ ORTIZ, JUAN ANTONIO (*1)
[ Accés al catàleg de la biblioteca universitària ]

Diseño de compiladores
Autors:Garrido Alenda, Alicia
Edició:San Vicente del Raspeig : Publicaciones de la Universidad de Alicante, 2002.
ISBN:84-7908-700-5
Recomanat per: MORENO SECO, FRANCISCO (*1)
[ Accés al catàleg de la biblioteca universitària ]

Lex & yacc
Autors:Levine, John R.
Edició:Beijing : O`Reilly, 1995.
ISBN:1-56592-000-7
Recomanat per: MORENO SECO, FRANCISCO (*1)
[ Accés al catàleg de la biblioteca universitària ] [ Enllaç al recurs bibliogràfic ]

Modern compiler implementation in Java
Autors:Andrew W. Appel ; with Jens Palsberg
Edició:Cambridge [Reino Unido] : CambridgeUniversity Press, 2002.
ISBN:0-521-82060-X (cart.)
Recomanat per: PEREZ ORTIZ, JUAN ANTONIO (*1)
[ Accés al catàleg de la biblioteca universitària ]

The definitive ANTLR 4 reference
Autors:Parr, Terence (Terence John)
Edició:Raleigh, Dallas : Pragmatic Bookshelf, 2012.
ISBN:1-941222-62-5
Recomanat per: PEREZ ORTIZ, JUAN ANTONIO (*1)
[ Accés al catàleg de la biblioteca universitària ] [ Accés a les edicions anteriors ] [ Enllaç al recurs bibliogràfic ]

The design and evolution of C++
Autors:Stroustrup, Bjarne
Edició:Reading, Massachusetts [etc.] : Addison-Wesley, 2003.
ISBN:0201543303
Recomanat per: PEREZ ORTIZ, JUAN ANTONIO (*1)
[ Accés al catàleg de la biblioteca universitària ]
(*1) Aquest professor ha recomanat el recurs bibliogràfic a tot l'alumnat de l'assignatura.
Dates d'exàmens oficials (2013-14)
ConvocatòriaGrup (*)DataHora d’iniciHora d’fiAules assignadesObservacions:
Proves extraordinarias de finalització d'estudis -1 25/11/2013 09:00 12:00 0039PS002 -
Període ordinari per a assignatures de segon semestre i anuals -1 03/06/2014 12:00 15:00 A2/D12 -
Proves extraordinàries de assignatures de grau i màster -1 08/07/2014 17:30 20:30 A2/A11 -
(*) 1: GRUPO 1 - CAS


Instruments i criteris d'avaluació (2013-14)
Examen final