Preguntas etiquetadas con denotational-semantics

2
Completo completo frente a la abstracción completa de una traducción del programa
Los esfuerzos de verificación del compilador a menudo se reducen a demostrar que el compilador es completamente abstracto: que conserva y refleja las equivalencias (contextuales). En lugar de proporcionar pruebas de abstracción completas, algunos trabajos de verificación de compiladores recientes (basados ​​en categorías) de Hasegawa [ 1 , 2 ] …
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' …
1
¿Puede la llamada / cc de Scheme implementar todas las estructuras de flujo de control conocidas?
La página "Esquema avanzado: algunos bits traviesos" dice: Las continuaciones son una construcción poderosa de flujo de control de la cual se puede derivar casi cualquier otra estructura de flujo de control. ¿Pensé que Scheme call/cc, al estar relacionado (*) con el operador J de Peter Landin, podría usarse para …
3
¿Hay algún CCC conocido cerrado bajo una operación probable de dominio de potencia?
De manera equivalente, ¿existe una semántica denotacional conocida para los lenguajes de programación funcional probabilísticos de orden superior? Específicamente, ¿existe un modelo de dominio de cálculo puro sin tipo extendido por una operación de elección binaria aleatoria simétrica.λλ\lambda Motivación Las categorías cerradas cartesianas proporcionan una semántica a los cálculos orden …
1
¿Referencia para la indefinibilidad del módulo de continuidad funcional en PCF?
¿Alguien puede señalarme la referencia para la no definibilidad del módulo de continuidad funcional en PCF? \newcommand{\N}{\mathbb{N}} \newcommand{\bool}{\mathsf{bool}} Andrej Bauer ha escrito una muy buena publicación de blog explorando algunos de los problemas con más detalle, pero resumiré solo un poco de su publicación para dar un poco de contexto …
1
En la teoría de dominios, ¿para qué se puede usar la estructura adicional presente en espacios métricos?
El capítulo de Smyth en el manual de lógica en informática y otras referencias describe cómo los espacios métricos pueden usarse como dominios. Entiendo que los espacios métricos completos dan puntos fijos únicos, pero no entiendo por qué los espacios métricos son importantes. Realmente agradecería cualquier idea sobre las siguientes …
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.