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

Ejemplares similares

Contractor.NET: Inferring typestate properties to enrich code contracts
por: Zoppi, E., et al.

Contractor.NET: Inferring typestate properties to enrich code contracts
por: Braberman, Víctor Adrián, et al.
Publicado: (2011)

Estudio empírico del uso de funciones de concurrencia en Proyectos Rust
por: Temnyk, David Leandro, et al.
Publicado: (2021)

Estudio empírico del uso de funciones de concurrencia en Proyectos Rust
por: Temnyk, David Leandro, et al.
Publicado: (2021)

Role of fungicide applications on the integrated management of wheat stripe rust

Estrategias de control químico para el manejo de las royas en trigo, en el centro de la provincia de Santa Fe
por: Magliano, María Florencia
Publicado: (2022)

Source limitations due to leaf rust [caused by Puccinia triticina] during grain filling in wheat
por: Serrago, Román Augusto

Source limitations due to leaf rust [caused by Puccinia triticina] during grain filling in wheat
por: Serrago, Román Augusto

Poplar leaf rust reduces dry mass accumulation and internal nitrogen recycling more markedly under low soil nitrogen availability, and decreases growth in the following spring
por: Gortari, Fermín, et al.
Publicado: (2019)

Effect of leaf rust [Puccinia triticina] on photosynthesis and related processes of leaves in wheat crops grown at two contrasting sites and with different nitrogen levels

Respuesta al control de enfermedades foliares en ambientes con diferentes niveles de nitrógeno
por: Lo Valvo, Patricio Javier, et al.
Publicado: (2018)

Puccinia meyeri-albertii in leaf and fruit of calafate (Berberis microphylla) in La Araucanía Region, Chile
por: Guerrero Contreras, Jaime, et al.
Publicado: (2018)

Eficacia residual de fungicidas sobre la roya de la hoja del trigo y su efecto sobre componentes del rendimiento y porcentaje de proteínas en grano
por: Fleitas, María Constanza, et al.
Publicado: (2016)

Efecto del epoxiconazol en mezclas sobre Puccinia striiformis f. sp. tritici en el cultivo de trigo
por: Faberi, Ariel Jesús, et al.
Publicado: (2023)

Estudio de las resistencias a roya común del maíz y a roya de la hoja del trigo
por: Darino, Martín Alejandro
Publicado: (2015)

Estudio de las resistencias a roya común del maíz y a roya de la hoja del trigo
por: Darino, Martín Alejandro
Publicado: (2015)

Estudio de las resistencias a roya común del maíz y a roya de la hoja del trigo
por: Darino, Martín Alejandro
Publicado: (2015)

Enriqueciendo Code Contracts con Typestates
por: Zoppi, Edgardo Julio
Publicado: (2012)

Enriqueciendo Code Contracts con Typestates
por: Zoppi, Edgardo Julio
Publicado: (Dici)

Enriqueciendo Code Contracts con Typestates
por: Zoppi, Edgardo Julio
Publicado: (2012)

Identification of quantitative trait <i>loci</i> for resistant to maize ear rot caused by <i>Fusarium moniliforme</i> Sheldon and common rust caused by <i>Puccinia sorghi</i> in Argentinian maize germplasm
por: Rey, J. I., et al.
Publicado: (2009)

Identificación, caracterización, mapeo y organización genómica de genes de resistencia a la roya del girasol
por: Bulos, Mariano
Publicado: (2019)

Identificación, caracterización, mapeo y organización genómica de genes de resistencia a la roya del girasol
por: Bulos, Mariano
Publicado: (2019)

Identificación, caracterización, mapeo y organización genómica de genes de resistencia a la roya del girasol
por: Bulos, Mariano
Publicado: (2019)

por: Maier, I. A., et al.
Publicado: (1978)

Contractor.NET: Inferring typestate properties to enrich code contracts
por: Zoppi, E.
Publicado: (2011)

The nature and prevention of the cereal rusts as exemplified in the leaf rust of wheat
por: Chester, Kenneth Starr
Publicado: (1946)

The Nature and Prevention of the Cereal Rust as Exemplified in the Leaf Rusts of Wheat
por: Chester, K. Starr
Publicado: (1946)

The nature and prevention of the cereal rusts as exemplified in the leaf rust of wheat
por: Chester, Kenneth Starr
Publicado: (1946)

The nature and prevention of the cereal rusts as exemplified in the leaf rust of wheat /
por: Chester, Kenneth Starr
Publicado: (1946)

The rusting of iron : causes and control /
por: Evans, Ulick R.
Publicado: (1972)

Fine mapping of LrSV2, a race-specific adult plant leaf rust resistance gene on wheat chromosome 3BS
por: Diéguez, M.J., et al.

Fine mapping of LrSV2, a race-specific adult plant leaf rust resistance gene on wheat chromosome 3BS
por: Dieguez, María José, et al.
Publicado: (2014)

Studies on corn rust
por: Webber, G. F.

The plant rusts [uredinales]
por: Arthur, Joseph C.
Publicado: (1929)

The plant Rusts (Uredinales)
por: Arthur,Joseph C.
Publicado: (1929)

The plant rusts [uredinales]
por: Arthur, Joseph C.
Publicado: (1929)

Characterization and comparative analysis of the genome of Puccinia sorghi Schwein, the causal agent of maize common rust
por: Rochi, L., et al.

Characterization and comparative analysis of the genome of Puccinia sorghi Schwein, the causal agent of maize common rust
por: Dieguez, María José, et al.
Publicado: (2018)

Detección de objetos espurios en generación automática de entradas
por: Gutiérrez Brida, Simón, et al.
Publicado: (2019)