Resultados de busquedas:

Descubre y comparte nuestro conocimiento público

Se han encontrado 2 recursos

Resultados de búsqueda

Artículo de revista 2015

Computational contracts

Autor: Scholliers, Christophe Tanter, Éric Pierre Meuter, Wolfgang de

Enlace original: http://repositorio.uchile.cl/handle/2250/132973

Repositorio académico de la Universidad de Chile

Higher-order contracts

Languages

Design

Listar archivos Citar Enlace permanente

Scholliers, Christophe , Tanter, Éric Pierre , Meuter, Wolfgang de , [Computational contracts]

Artículo de revista 2015

On the Use of Type Predicates in Object-Oriented Software: The Case of Smalltalk

Autor: Callaú, Oscar Robbes, Romain Tanter, Éric Pierre Röthlisberger, David Bergel, Alexandre

Enlace original: http://repositorio.uchile.cl/handle/2250/133693

Repositorio académico de la Universidad de Chile

Language

Design

Flow-sensitive typing

Listar archivos Citar Enlace permanente

Callaú, Oscar , Robbes, Romain , Tanter, Éric Pierre , Röthlisberger, David , Bergel, Alexandre , [On the Use of Type Predicates in Object-Oriented Software: The Case of Smalltalk]

Selecciona los documentos para visualizarlos

Nombre del archivo	Ver recurso

Marcar todos

Limpiar todo

Autor:

Enlace original:

Listar archivos Citar Enlace permanente

Recurso anterior Recurso siguiente

Descubre y comparte nuestro conocimiento público

Resultados de búsqueda

Computational contracts

[Computational-contracts.pdf]

On the Use of Type Predicates in Object-Oriented Software: The Case of Smalltalk

[On-the-Use-of-Type-Predicates-in-Object-Oriented-Software.pdf]