Resultados de la búsqueda a petición "invariants"

2 la respuesta

¿Qué constituye un estado válido para un objeto "movido de" en C ++ 11?

He estado tratando de comprender cómo se supone que debe funcionar la semántica de movimiento en C ++ 11, y tengo muchos problemas para comprender qué condic...

1 la respuesta

Contratos de código: invariantes en clase abstracta

He encontrado un problema al usar Invariantes con contratos de código. Quiero definir una Invariante dentro de mi clase abstracta, pero simplemente se ignora. El siguiente código muestra mi interfaz y la clase ...

7 la respuesta

Loop invariante de búsqueda lineal

Como se ve en Introducción a los algoritmos http: //mitpress.mit.edu/algorithm [http://mitpress.mit.edu/algorithms]), el ejercicio establece lo siguiente: Input: Array A [1 ... n] Salida: i, donde A [i] = v o NIL cuando no se ...

1 la respuesta

¿Cuáles son las diferencias entre condición previa, condición posterior e invariante en terminología de computadora [cerrado]?

Estoy leyendo el libroJava concurrencia en la práctica y confundiéndose un poco con estos términos:Condición previaCondición del puestoInvariantes¿Alguien me...

6 la respuesta

Constructores y instaladores vacíos en JPA Entites

1 la respuesta

¿Cómo escribiría un bucle para este invariante?

3 la respuesta

Ejemplos simples de co y contravarianza

¿Podría alguien proporcionarme ejemplos simples de C # de convarianza, contravarianza, invariancia y contra-invariancia (si tal cosa existe)? Todas las muestras que he visto hasta ahora solo arrojaban algún objeto enSystem.Object.

9 la respuesta

¿Qué es un invariante?

La palabra parece ser utilizada en varios contextos. Lo mejor que puedo imaginar es que significan una variable que no puede cambiar. ¿No es para eso que son...

4 la respuesta

¿Es posible programar y verificar invariantes en Haskell?

4 la respuesta

¿Las aserciones invariantes encajan en la programación de C #?

En el librocodificadores en el trabajo [https://rads.stackoverflow.com/amzn/click/com/1430219483], el autor pregunta "¿Cómo usas invariantes en tu código?". Por favor explique qué significa esta pregunta. Vi invariantes de claseen wiki ...