invariants

40El calor

3Respuesta

Ejemplos simples de co y contravariancia

¿Podría alguien proporcionarme ejemplos simples de C# de convariancia, contravarianza, invarianza y contrainvariación (si tal cosa existe). Todas las muestras que he visto hasta ahora estaban simpleme

c# .net covariance contravariance invariants 2011-01-12

---

13El calor

6Respuesta

comprobando invariantes en C++

¿Existen patrones establecidos para verificar las invariantes de clases en C++? Lo ideal es que las invariantes se verifiquen automáticamente al principio y al final de cada función de miembro público

c++ templates design-by-contract object-lifetime invariants 2011-01-19

---

8El calor

3Respuesta

Hoare Logic Loop Invariant

Estoy mirando Hoare Logic y tengo problemas para entender el método de búsqueda del bucle invariante. ¿Alguien puede explicar el método utilizado para calcular el bucle invariante? ¿Y qué debe contene

language-agnostic logic verification invariants loop-invariant 2011-01-24

---

7El calor

2Respuesta

invariantes Especificación de los constructores de datos

considerar los siguientes data Predicate = Pred Name Arity Arguments type Name = String type Arity = Int type Arguments = [Entity] type Entity = String Esto permitiría la creación de Pred "di

haskell constructor invariants 2011-01-26

---

6El calor

2Respuesta

tipo covariante T se produce en la posición invariable

Estoy moviendo mis primeros pasos en la Scala y me gustaría hacer el siguiente código funciona: trait Gene[+T] { val gene: Array[T] } El error que el compilador da es: covariant type T occurs

scala covariance invariants 2012-07-30

---

6El calor

8Respuesta

invariantes de bucle (Específicamente ch.3 de "C++ acelerada")

Actualmente estoy trabajando mi camino a través de "Accelerated C++" y acabo de encontrar esto en el capítulo 3: // invariant: // we have read count grades so far, and // sum is the sum of the first

c++ invariants 2010-05-29

---

60El calor

3Respuesta

¿Qué es una clase invariante en java?

busqué en Google el tema, pero además de Wikipedia no encontré ninguna documentación o artículos útiles adicionales. ¿Alguien puede explicarme en palabras simples lo que significa o remitirme a alguna

java terminology invariants 2012-01-17

---

6El calor

4Respuesta

Adición de invariantes a interfaces en Java

He estado pensando en crear un marco de trabajo Java que permita a los programadores especificar invariantes (condiciones previas y posteriores) en las interfaces. El objetivo sería hacer que el códig

java unit-testing annotations interface invariants 2010-07-22

---

6El calor

3Respuesta

Representación determinística de OpenGL entre el proveedor de la GPU

Actualmente estoy programando una aplicación de creación de imágenes científicas utilizando OpenGL. Me gustaría saber si se supone que el renderizado OpenGL (en términos de píxel recuperado de FBO) es

opengl rendering invariants 2011-10-27

---

21El calor

1Respuesta

¿Cuáles son las diferencias de condición previa, condición post e invariante en la terminología informática

Estoy leyendo el libro Java Concurrency in Practice y conseguir un poco confundido con estos términos: condición previa condición post invariantes ¿Puede alguien explicarme por favor (con un ejemplo,

java concurrency uml invariants 2012-07-04

---