Inferencia de tipos de sesión
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_ | 1807261360900276224 |
|---|---|
| author | Copello Gigirey, Ernesto Sebastián |
| author_facet | Copello Gigirey, Ernesto Sebastián |
| author_role | author |
| bitstream.checksum.fl_str_mv | 1b6e846642a1d94e25bc59c43fc41dd5 d5f7fb0b9357a86e4e1a61acadc5cc8d |
| bitstream.checksumAlgorithm.fl_str_mv | 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 |
| collection | RAD |
| dc.contributor.advisor.none.fl_str_mv | Tasistro Souto, Álvaro Daniel Szasz Cerutti, Nora Adriana |
| dc.contributor.tribunal.es.fl_str_mv | Paganini Herrera, Fernando Gabriel Fridlender, Daniel |
| 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.other.es.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/bachelorThesis |
| dc.type.version.none.fl_str_mv | info:eu-repo/semantics/publishedVersion |
| description | Incluye bibliografía. |
| eu_rights_str_mv | openAccess |
| format | bachelorThesis |
| 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 | Tasistro Souto, Álvaro DanielSzasz Cerutti, Nora AdrianaPaganini Herrera, Fernando GabrielFridlender, DanielCopello Gigirey, Ernesto Sebastián2017-06-14T12:11:53Z2017-06-14T12:11:53Z2011Incluye 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áficoCopello 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/2965Español.spaUniversidad ORT Uruguayhttps://bibliotecas.ort.edu.uy/bibid/75862ALGORITMOSPROYECTOS-MITIPOS DE SESIÓNPROGRAMACIÓNInferencia de tipos de sesiónTrabajo final de carrerainfo:eu-repo/semantics/bachelorThesisinfo:eu-repo/semantics/publishedVersionreponame:RADinstname:Universidad ORT Uruguayinstacron:Universidad ORTinfo:eu-repo/semantics/openAccessFI - Master en Ingeniería - MIFacultad de IngenieríaMasterMaster en IngenieríaDesarrollo de TesisDesarrollo de Tesis (Master). Universidad ORT Uruguay, Facultad de IngenieríaTHUMBNAILMaterial completo.pdf.jpgMaterial completo.pdf.jpgGenerated Thumbnailimage/jpeg2571https://rad.ort.edu.uy/bitstreams/c096fbe1-048c-4a74-afe3-f6713668d76b/download1b6e846642a1d94e25bc59c43fc41dd5MD53ORIGINALMaterial completo.pdfMaterial completo.pdfdescriptionapplication/pdf1713933https://rad.ort.edu.uy/bitstreams/d2561314-64f8-4562-9e20-4a37acd4500a/downloadd5f7fb0b9357a86e4e1a61acadc5cc8dMD5120.500.11968/29652024-07-22 16:18:37.936oai:rad.ort.edu.uy:20.500.11968/2965https://rad.ort.edu.uyUniversidadhttps://www.ort.edu.uy/https://rad.ort.edu.uy/server/oai/requestrodriguez_v@ort.edu.uyUruguayopendoar:39272024-07-22T16:18:37RAD - 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 |
