Preguntas etiquetadas con logical-relations

4
¿Cuáles son las diferencias entre relaciones lógicas y simulaciones?
Soy un principiante trabajando en métodos que prueban la equivalencia del programa. He leído algunos artículos sobre la definición de relaciones lógicas o simulaciones para demostrar que dos programas son equivalentes. Pero estoy bastante confundido acerca de estas dos técnicas. Solo sé que las relaciones lógicas se definen inductivamente mientras …
2
Usos de cuasi-PER / relaciones difuncionales / relaciones en zig-zag?
Dados los conjuntos y , una relación difuncional entre ellos se define como una relación que satisface la siguiente propiedad:UNUNAsisiB ( ∼ ) ⊆ A × B(∼)⊆UN×si(\sim) \subseteq A \times B Si y y , entonces . a ∼ bun∼sia \sim bun′∼ b′un′∼si′a' \sim b'a ∼ b′un∼si′a \sim b'un′∼ bun′∼sia' …
4
Parametridad unaria versus paramétrica binaria
Recientemente me interesé bastante en la parametricidad después de ver el artículo LICS 2012 de Bernardy y Moulin ( https://dl.acm.org/citation.cfm?id=2359499 ). En este documento, internalizan la parametricidad unaria en un sistema de tipo puro con tipos dependientes y dan pistas sobre cómo puede extender la construcción a aridades arbitrarias. Solo …
1
¿Por qué los gráficos reflexivos para la parametricidad?
En cuanto a los modelos de polimorfismo paramétrico, tengo curiosidad por qué se utilizan las categorías de gráficos reflexivos . En particular, ¿por qué no incluyen la composición relacional? Al observar los modelos, todos parecen apoyar una noción natural de composición relacional: x(R;S)z⟺∃y.xRy∧ySzx(R;S)z⟺∃y.xRy∧ySz x(R;S)z \iff \exists y. xRy \wedge y …
Al usar nuestro sitio, usted reconoce que ha leído y comprende nuestra Política de Cookies y Política de Privacidad.
Licensed under cc by-sa 3.0 with attribution required.