Preguntas etiquetadas con semantics

En la semántica del lenguaje de programación, a menudo se escucha que las personas hablan sobre significado y denotación . Parecen no ser lo mismo. ¿Cuál es la diferencia? ¿El primero está asociado con la semántica operacional mientras que el segundo con la semántica denotacional? Gracias.

10 pl.programming-languages  semantics  denotational-semantics  operational-semantics 

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 …

10 semantics  topology  denotational-semantics  domain-theory  metrics 

Al tratar con las categorías teóricas de dominio (por ejemplo, CPO y CPO), con frecuencia deseo un diccionario para el lenguaje de la teoría de categorías en la teoría de dominios.ωω\omega Es decir, dado un concepto, digamos flecha mónica, podría buscarlo en el diccionario y ver cuáles son sus caracterizaciones …

10 ct.category-theory  semantics  denotational-semantics  domain-theory 

Estoy interesado en compiladores verificados formalizados en la teoría de tipo Martin-Löf, es decir, Coq / Agda. Por el momento he escrito un pequeño ejemplo de juguete. Con eso puedo demostrar que mis optimizaciones son correctas. Por ejemplo, las adiciones con cero pueden eliminarse, es decir, expresiones como "x + …

9 reference-request  pl.programming-languages  type-theory  semantics  compilers 

Esta es una pregunta que hice en el foro de matemáticas SE, y me remitieron aquí. Así que aquí está la cuestión- Soy un novato tanto en matemática formal como en informática teórica, así que por favor tengan paciencia conmigo si encuentran que mi pregunta no está bien formulada. El …

9 pl.programming-languages  semantics  formal-modeling  set-theory  object-oriented 

He leído las partes introductorias de un par de libros sobre semántica del lenguaje de programación (Gordon, Winskel, Nielson & Nielson, Allison, Stump, Schmidt), y si bien entiendo lo que significan por categorías sintácticas o dominios sintácticos , no entendí No encuentre una definición rigurosa y directa de esos. ¿Existe …

8 semantics  denotational-semantics  definitions 

¿Hay alguna semántica categórica para las lógicas no monotónicas? Parece que la respuesta simple a esto es "No" ya que la noción obvia de composición falla para cualquier modelo de lógica no monotónica. Pero, ¿hay un modelo que realmente funcione con una noción de composición adecuadamente definida?

8 ct.category-theory  semantics  denotational-semantics 

Los cierres léxicos son una técnica de implementación en lenguajes con funciones de primera clase. Estoy interesado en una descripción operacional simple de los cierres de funciones. ¿Alguien sabe de tal descripción?

8 reference-request  pl.programming-languages  semantics  compilers