Implementación Básica de Typestates en Rust

Generalmente la API de un módulo describe las operaciones disponibles, aunque el orden lícito de aplicación de las mismas queda implícito o documentado externamente debido a que los lenguajes de programación generalmente no proveen mecanismos de especificación del protocolo de uso. Typestates permi...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Arroyo, Marcelo, Gutiérrez Brida, Simón, Ponzio, Pablo Daniel
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2019
Materias:
Ciencias Informáticas
Typestates
Rust
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/91094
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-91094
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Español
topic Ciencias Informáticas
Typestates
Rust
spellingShingle Ciencias Informáticas
Typestates
Rust
Arroyo, Marcelo
Gutiérrez Brida, Simón
Ponzio, Pablo Daniel
Implementación Básica de Typestates en Rust
topic_facet Ciencias Informáticas
Typestates
Rust
description Generalmente la API de un módulo describe las operaciones disponibles, aunque el orden lícito de aplicación de las mismas queda implícito o documentado externamente debido a que los lenguajes de programación generalmente no proveen mecanismos de especificación del protocolo de uso. Typestates permite especificar estados de objetos de un determinado tipo. Cada estado habilita ciertas operaciones y prohíbe otras, permitiendo especificar el protocolo de uso de una API determinada. En este trabajo se presenta un patrón de implementación de typestates en el lenguaje de programación Rust y se analiza su sistema de tipos y mecanismos que permiten la verificación del typestate en tiempo de compilación, mostrando que cumple con las propiedades requeridas por las propuestas de verificación modular descriptas en la bibliografía especializada.
format Objeto de conferencia
Objeto de conferencia
author Arroyo, Marcelo
Gutiérrez Brida, Simón
Ponzio, Pablo Daniel
author_facet Arroyo, Marcelo
Gutiérrez Brida, Simón
Ponzio, Pablo Daniel
author_sort Arroyo, Marcelo
title Implementación Básica de Typestates en Rust
title_short Implementación Básica de Typestates en Rust
title_full Implementación Básica de Typestates en Rust
title_fullStr Implementación Básica de Typestates en Rust
title_full_unstemmed Implementación Básica de Typestates en Rust
title_sort implementación básica de typestates en rust
publishDate 2019
url http://sedici.unlp.edu.ar/handle/10915/91094
work_keys_str_mv AT arroyomarcelo implementacionbasicadetypestatesenrust
AT gutierrezbridasimon implementacionbasicadetypestatesenrust
AT ponziopablodaniel implementacionbasicadetypestatesenrust
bdutipo_str Repositorios
_version_ 1764820490688397314

Ejemplares similares