Programas que usan punteros
- Autores
- Rezk, Tamara
- Año de publicación
- 2002
- Idioma
- español castellano
- Tipo de recurso
- documento de conferencia
- Estado
- versión publicada
- Descripción
- Se estudian dos enfoques distintos para el razonamiento sobre programas que manipulan punteros. Uno de los enfoques, propuesto por Reynolds, se basa en la separación espacial de las celdas en el heap. El otro, propuesto por Bornat, se basa en la sustitución de componentes, análogo al tratamiento de arreglos en la lógica de Floyd/Hoare. Como contribución de este trabajo, se definen predicados inductivos para trabajar con estructuras de datos sobre el heap (listas, árboles binarios de búsqueda y árboles generales) y se describe un método para construir programas verificados, iterativos, con punteros, a partir de una función recursiva final. También se verifican algoritmos de ejemplo con el fin de utilizar las estructuras definidas y comparar las lógicas presentadas.
Sociedad Argentina de Informática e Investigación Operativa - Materia
-
Ciencias Informáticas
Programas
Punteros
Construcción
Verificación
Lógica - Nivel de accesibilidad
- acceso abierto
- Condiciones de uso
- http://creativecommons.org/licenses/by-nc-sa/4.0/
- Repositorio
.jpg)
- Institución
- Universidad Nacional de La Plata
- OAI Identificador
- oai:sedici.unlp.edu.ar:10915/183582
Ver los metadatos del registro completo
| id |
SEDICI_2bca40d49f1af04977c912fde5a8c4a7 |
|---|---|
| oai_identifier_str |
oai:sedici.unlp.edu.ar:10915/183582 |
| network_acronym_str |
SEDICI |
| repository_id_str |
1329 |
| network_name_str |
SEDICI (UNLP) |
| spelling |
Programas que usan punterosRezk, TamaraCiencias InformáticasProgramasPunterosConstrucciónVerificaciónLógicaSe estudian dos enfoques distintos para el razonamiento sobre programas que manipulan punteros. Uno de los enfoques, propuesto por Reynolds, se basa en la separación espacial de las celdas en el heap. El otro, propuesto por Bornat, se basa en la sustitución de componentes, análogo al tratamiento de arreglos en la lógica de Floyd/Hoare. Como contribución de este trabajo, se definen predicados inductivos para trabajar con estructuras de datos sobre el heap (listas, árboles binarios de búsqueda y árboles generales) y se describe un método para construir programas verificados, iterativos, con punteros, a partir de una función recursiva final. También se verifican algoritmos de ejemplo con el fin de utilizar las estructuras definidas y comparar las lógicas presentadas.Sociedad Argentina de Informática e Investigación Operativa2002-09info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionObjeto de conferenciahttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdf196-207http://sedici.unlp.edu.ar/handle/10915/183582spainfo:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-nc-sa/4.0/Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-09-03T11:21:49Zoai:sedici.unlp.edu.ar:10915/183582Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-09-03 11:21:49.799SEDICI (UNLP) - Universidad Nacional de La Platafalse |
| dc.title.none.fl_str_mv |
Programas que usan punteros |
| title |
Programas que usan punteros |
| spellingShingle |
Programas que usan punteros Rezk, Tamara Ciencias Informáticas Programas Punteros Construcción Verificación Lógica |
| title_short |
Programas que usan punteros |
| title_full |
Programas que usan punteros |
| title_fullStr |
Programas que usan punteros |
| title_full_unstemmed |
Programas que usan punteros |
| title_sort |
Programas que usan punteros |
| dc.creator.none.fl_str_mv |
Rezk, Tamara |
| author |
Rezk, Tamara |
| author_facet |
Rezk, Tamara |
| author_role |
author |
| dc.subject.none.fl_str_mv |
Ciencias Informáticas Programas Punteros Construcción Verificación Lógica |
| topic |
Ciencias Informáticas Programas Punteros Construcción Verificación Lógica |
| dc.description.none.fl_txt_mv |
Se estudian dos enfoques distintos para el razonamiento sobre programas que manipulan punteros. Uno de los enfoques, propuesto por Reynolds, se basa en la separación espacial de las celdas en el heap. El otro, propuesto por Bornat, se basa en la sustitución de componentes, análogo al tratamiento de arreglos en la lógica de Floyd/Hoare. Como contribución de este trabajo, se definen predicados inductivos para trabajar con estructuras de datos sobre el heap (listas, árboles binarios de búsqueda y árboles generales) y se describe un método para construir programas verificados, iterativos, con punteros, a partir de una función recursiva final. También se verifican algoritmos de ejemplo con el fin de utilizar las estructuras definidas y comparar las lógicas presentadas. Sociedad Argentina de Informática e Investigación Operativa |
| description |
Se estudian dos enfoques distintos para el razonamiento sobre programas que manipulan punteros. Uno de los enfoques, propuesto por Reynolds, se basa en la separación espacial de las celdas en el heap. El otro, propuesto por Bornat, se basa en la sustitución de componentes, análogo al tratamiento de arreglos en la lógica de Floyd/Hoare. Como contribución de este trabajo, se definen predicados inductivos para trabajar con estructuras de datos sobre el heap (listas, árboles binarios de búsqueda y árboles generales) y se describe un método para construir programas verificados, iterativos, con punteros, a partir de una función recursiva final. También se verifican algoritmos de ejemplo con el fin de utilizar las estructuras definidas y comparar las lógicas presentadas. |
| publishDate |
2002 |
| dc.date.none.fl_str_mv |
2002-09 |
| dc.type.none.fl_str_mv |
info:eu-repo/semantics/conferenceObject info:eu-repo/semantics/publishedVersion Objeto de conferencia http://purl.org/coar/resource_type/c_5794 info:ar-repo/semantics/documentoDeConferencia |
| format |
conferenceObject |
| status_str |
publishedVersion |
| dc.identifier.none.fl_str_mv |
http://sedici.unlp.edu.ar/handle/10915/183582 |
| url |
http://sedici.unlp.edu.ar/handle/10915/183582 |
| dc.language.none.fl_str_mv |
spa |
| language |
spa |
| dc.rights.none.fl_str_mv |
info:eu-repo/semantics/openAccess http://creativecommons.org/licenses/by-nc-sa/4.0/ Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0) |
| eu_rights_str_mv |
openAccess |
| rights_invalid_str_mv |
http://creativecommons.org/licenses/by-nc-sa/4.0/ Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0) |
| dc.format.none.fl_str_mv |
application/pdf 196-207 |
| dc.source.none.fl_str_mv |
reponame:SEDICI (UNLP) instname:Universidad Nacional de La Plata instacron:UNLP |
| reponame_str |
SEDICI (UNLP) |
| collection |
SEDICI (UNLP) |
| instname_str |
Universidad Nacional de La Plata |
| instacron_str |
UNLP |
| institution |
UNLP |
| repository.name.fl_str_mv |
SEDICI (UNLP) - Universidad Nacional de La Plata |
| repository.mail.fl_str_mv |
alira@sedici.unlp.edu.ar |
| _version_ |
1842260722651758592 |
| score |
13.13397 |