Inferencia de tipos de sesión
Supervisor(es): Tasistro Souto, Álvaro Daniel - Szasz Cerutti, Nora Adriana
Resumen:
El problema que se aborda en la tesis es el desarrollo de un algoritmo que realice inferencia de tipos para sistemas de tipos de sesión. Para ello, se consideran los sistemas existentes en la literatura, se propone una variante que consiste en un fragmento suficientemente representativo y se lo extiende con esquemas de tipos. Para este sistema se desarrolla un algoritmo de inferencia de tipos. Tanto la propuesta de un sistema de tipos de sesión con esquemas de tipos como el desarrollo del algoritmo de inferencia para el mismo son contribuciones originales en el área.
| 2011 | |
| ANII - BE_MAEN_2009_0_1476. | |
|
ALGORITMOS PROYECTOS-MI TIPOS DE SESIÓN PROGRAMACIÓN |
|
| Español | |
| Universidad ORT Uruguay | |
| RAD | |
| http://hdl.handle.net/20.500.11968/2965 | |
| Acceso abierto |
| _version_ | 1874659229965484032 |
|---|---|
| author | Copello Gigirey, Ernesto Sebastián |
| author_facet | Copello Gigirey, Ernesto Sebastián |
| author_role | author |
| bitstream.checksum.fl_str_mv | 1b6e846642a1d94e25bc59c43fc41dd5 d5f7fb0b9357a86e4e1a61acadc5cc8d 59368de96ceaf2fd26cf55f39346afd5 |
| bitstream.checksumAlgorithm.fl_str_mv | MD5 MD5 MD5 |
| bitstream.url.fl_str_mv | https://rad.ort.edu.uy/bitstreams/c096fbe1-048c-4a74-afe3-f6713668d76b/download https://rad.ort.edu.uy/bitstreams/d2561314-64f8-4562-9e20-4a37acd4500a/download https://rad.ort.edu.uy/bitstreams/4e5e4b41-cff9-494e-9693-875941f0b1d1/download |
| collection | RAD |
| dc.contributor.tribunal.es.fl_str_mv | Paganini Herrera, Fernando Gabriel Fridlender, Daniel |
| dc.creator.advisor.none.fl_str_mv | Tasistro Souto, Álvaro Daniel Szasz Cerutti, Nora Adriana |
| dc.creator.none.fl_str_mv | Copello Gigirey, Ernesto Sebastián |
| dc.date.accessioned.none.fl_str_mv | 2017-06-14T12:11:53Z |
| dc.date.available.none.fl_str_mv | 2017-06-14T12:11:53Z |
| dc.date.issued.es.fl_str_mv | 2011 |
| dc.description.abstract.none.fl_txt_mv | El problema que se aborda en la tesis es el desarrollo de un algoritmo que realice inferencia de tipos para sistemas de tipos de sesión. Para ello, se consideran los sistemas existentes en la literatura, se propone una variante que consiste en un fragmento suficientemente representativo y se lo extiende con esquemas de tipos. Para este sistema se desarrolla un algoritmo de inferencia de tipos. Tanto la propuesta de un sistema de tipos de sesión con esquemas de tipos como el desarrollo del algoritmo de inferencia para el mismo son contribuciones originales en el área. |
| dc.description.es.fl_txt_mv | Incluye bibliografía. |
| dc.description.sponsorship.none.fl_txt_mv | ANII - BE_MAEN_2009_0_1476. |
| dc.format.extent.es.fl_str_mv | 155 p. il., tablas, gráfico |
| dc.identifier.citation.es.fl_str_mv | Copello Gigirey, E. S. (2011). Inferencia de tipos de sesión (Desarrollo de Tesis). Universidad ORT Uruguay, Facultad de Ingeniería. Recuperado de https://rad.ort.edu.uy/handle/20.500.11968/2965 |
| dc.identifier.uri.none.fl_str_mv | http://hdl.handle.net/20.500.11968/2965 http://hdl.handle.net/20.500.11968/2965 |
| dc.language.iso.none.fl_str_mv | Español. spa |
| dc.publisher.es.fl_str_mv | Universidad ORT Uruguay |
| dc.relation.none.fl_str_mv | https://bibliotecas.ort.edu.uy/bibid/75862 |
| dc.rights.none.fl_str_mv | info:eu-repo/semantics/openAccess |
| dc.source.none.fl_str_mv | reponame:RAD instname:Universidad ORT Uruguay instacron:Universidad ORT |
| dc.subject.es.fl_str_mv | ALGORITMOS PROYECTOS-MI TIPOS DE SESIÓN PROGRAMACIÓN |
| dc.title.none.fl_str_mv | Inferencia de tipos de sesión |
| dc.type.es.fl_str_mv | Trabajo final de carrera |
| dc.type.none.fl_str_mv | info:eu-repo/semantics/masterThesis |
| dc.type.version.none.fl_str_mv | info:eu-repo/semantics/publishedVersion |
| description | Incluye bibliografía. |
| eu_rights_str_mv | openAccess |
| format | masterThesis |
| id | RAD_3184e04d9c991accb0b54e4da7b9fa8c |
| identifier_str_mv | Copello Gigirey, E. S. (2011). Inferencia de tipos de sesión (Desarrollo de Tesis). Universidad ORT Uruguay, Facultad de Ingeniería. Recuperado de https://rad.ort.edu.uy/handle/20.500.11968/2965 |
| instacron_str | Universidad ORT |
| institution | Universidad ORT |
| instname_str | Universidad ORT Uruguay |
| language | spa |
| language_invalid_str_mv | Español. |
| network_acronym_str | RAD |
| network_name_str | RAD |
| oai_identifier_str | oai:rad.ort.edu.uy:20.500.11968/2965 |
| publishDate | 2011 |
| reponame_str | RAD |
| repository.mail.fl_str_mv | rodriguez_v@ort.edu.uy |
| repository.name.fl_str_mv | RAD - Universidad ORT Uruguay |
| repository_id_str | 3927 |
| spelling | Paganini Herrera, Fernando GabrielFridlender, DanielCopello Gigirey, Ernesto SebastiánTasistro Souto, Álvaro DanielSzasz Cerutti, Nora Adriana2017-06-14T12:11:53Z2017-06-14T12:11:53Z2011Copello Gigirey, E. S. (2011). Inferencia de tipos de sesión (Desarrollo de Tesis). Universidad ORT Uruguay, Facultad de Ingeniería. Recuperado de https://rad.ort.edu.uy/handle/20.500.11968/2965http://hdl.handle.net/20.500.11968/2965http://hdl.handle.net/20.500.11968/2965Incluye bibliografía.El problema que se aborda en la tesis es el desarrollo de un algoritmo que realice inferencia de tipos para sistemas de tipos de sesión. Para ello, se consideran los sistemas existentes en la literatura, se propone una variante que consiste en un fragmento suficientemente representativo y se lo extiende con esquemas de tipos. Para este sistema se desarrolla un algoritmo de inferencia de tipos. Tanto la propuesta de un sistema de tipos de sesión con esquemas de tipos como el desarrollo del algoritmo de inferencia para el mismo son contribuciones originales en el área.ANII - BE_MAEN_2009_0_1476.155 p. il., tablas, gráficoEspañol.spaUniversidad ORT UruguayALGORITMOSPROYECTOS-MITIPOS DE SESIÓNPROGRAMACIÓNInferencia de tipos de sesiónTrabajo final de carrerainfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesishttps://bibliotecas.ort.edu.uy/bibid/75862reponame:RADinstname:Universidad ORT Uruguayinstacron:Universidad ORTinfo:eu-repo/semantics/openAccessFacultad de IngenieríaMasterMaster en IngenieríaDesarrollo de TesisDesarrollo de Tesis (Master). Universidad ORT Uruguay, Facultad de IngenieríaFI - Master en Ingeniería - MITHUMBNAILMaterial completo.pdf.jpgWritten by FormatFilter org.dspace.app.mediafilter.PDFBoxThumbnail on 2024-07-22T19:18:37Z (GMT).Generated Thumbnailimage/jpeg2571https://rad.ort.edu.uy/bitstreams/c096fbe1-048c-4a74-afe3-f6713668d76b/download1b6e846642a1d94e25bc59c43fc41dd5MD53ORIGINALMaterial completo.pdfDSpace Rest apidescriptionapplication/pdf1713933https://rad.ort.edu.uy/bitstreams/d2561314-64f8-4562-9e20-4a37acd4500a/downloadd5f7fb0b9357a86e4e1a61acadc5cc8dMD51TEXTMaterial completo.pdf.txtWritten by FormatFilter org.dspace.app.mediafilter.TikaTextExtractionFilter on 2026-07-11T06:57:15Z (GMT).Extracted texttext/plain106151https://rad.ort.edu.uy/bitstreams/4e5e4b41-cff9-494e-9693-875941f0b1d1/download59368de96ceaf2fd26cf55f39346afd5MD5420.500.11968/29652026-07-11 03:57:15.481open.accessoai:rad.ort.edu.uy:20.500.11968/2965https://rad.ort.edu.uyhttps://rad.ort.edu.uy/Universidadhttps://www.ort.edu.uy/https://rad.ort.edu.uy/server/oai/requestrodriguez_v@ort.edu.uyUruguayopendoar:39272026-07-11T06:57:15RAD - Universidad ORT Uruguayfalse |
| spellingShingle | Inferencia de tipos de sesión Copello Gigirey, Ernesto Sebastián ALGORITMOS PROYECTOS-MI TIPOS DE SESIÓN PROGRAMACIÓN |
| status_str | publishedVersion |
| title | Inferencia de tipos de sesión |
| title_full | Inferencia de tipos de sesión |
| title_fullStr | Inferencia de tipos de sesión |
| title_full_unstemmed | Inferencia de tipos de sesión |
| title_short | Inferencia de tipos de sesión |
| title_sort | Inferencia de tipos de sesión |
| topic | ALGORITMOS PROYECTOS-MI TIPOS DE SESIÓN PROGRAMACIÓN |
| url | http://hdl.handle.net/20.500.11968/2965 |
