invariants

40calore

3risposta

Esempi semplici di co e controvarianza

Qualcuno potrebbe fornirmi semplici esempi C# di convarianza, controvarianza, invarianza e contro-invarianza (se tale cosa esiste). Tutti gli esempi che ho visto finora sono stati solo il casting di a

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

---

6calore

2risposta

Esiste uno strumento di individuazione invariabile statico per i programmi C?

Sto cercando uno strumento in grado di scoprire staticamente le invarianti nei programmi in C. Ho controllato Daikon ma scopre gli invarianti solo in modo dinamico. Esiste uno strumento a disposizione

c static-analysis invariants 2011-11-11

---

8calore

3risposta

Hoare Logic Loop Invariant

Sto guardando Hoare Logic e ho problemi a capire il metodo per trovare il ciclo invariante. Qualcuno può spiegare il metodo utilizzato per calcolare il ciclo invariante? E cosa dovrebbe contenere un i

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

---

7calore

2risposta

Specifica invarianti sui costruttori di valore

Si consideri il seguente data Predicate = Pred Name Arity Arguments type Name = String type Arity = Int type Arguments = [Entity] type Entity = String Ciò consentirebbe la creazione di Pred "

haskell constructor invariants 2011-01-26

---

15calore

2risposta

DDD Regole commerciali e convalida

Sto cercando consigli su dove aggiungere le regole di convalida per le entità di dominio e le migliori pratiche per l'implementazione. Ho cercato e non ho trovato quello che stavo cercando, o l'ho per

domain-driven-design dry srp invariants 2014-06-26

---

6calore

2risposta

covariante tipo T si verifica in posizione invariante

mi sto muovendo i primi passi in Scala e vorrei fare la seguente codice funziona: trait Gene[+T] { val gene: Array[T] } L'errore che il compilatore dà è: covariant type T occurs in invariant p

scala covariance invariants 2012-07-30

---

60calore

3risposta

Che cos'è un invariante di classe in java?

Ho cercato su Google l'argomento, ma oltre a Wikipedia non ho trovato ulteriore documentazione o articoli utili. Qualcuno può spiegarmi in parole semplici cosa significa o mi fa riferimento ad una doc

java terminology invariants 2012-01-17

---

6calore

1risposta

Qual è la differenza tra invarianti e regole di convalida?

Spesso vedo il termine Invarianti in DDD. Here Dino Esposito ne parla. Se guardo la libreria .NET, vedo una classe ValidationAttribute. Sono invarianti e regole di convalida lo stesso? Ad esempio, pos

validation domain-driven-design invariants 2015-05-12

---

7calore

2risposta

Esporta solo getter o setter da un modulo

Esiste un modo per esportare specifici getter xor setter da un modulo con un obiettivo? Ad esempio, supponiamo che una struttura di dati che ha un'invariante di essere sempre >= 0, vengano modificati

haskell invariants lens lenses 2014-12-14

---

21calore

1risposta

quali sono le differenze di condizione pre, condizione post e invarianti nella terminologia informatica

Sto leggendo il libro Java Concurrency in Practice e ottenere un po 'confuso con questi termini: condizione pre Messaggio condizione invarianti Qualcuno può spiegarmi per favore (con un esempio, se è

java concurrency uml invariants 2012-07-04

---