Preguntas etiquetadas con semantics

La semántica describe formalmente el significado de alguna sintaxis.

23
cálculo con reflejo

Estoy buscando un cálculo simple que admita el razonamiento sobre la reflexión , a saber, la introspección y la manipulación de programas en ejecución. ¿Existe una extensión de cálculo tipo que permita convertir los términos λ en una forma que pueda ser manipulada sintácticamente y luego...

13
¿Qué es la semántica?

Hay muchos idiomas populares. Pero, los informáticos nos dicen que para comprender el comportamiento de los programas en esos lenguajes definitivamente y sin ambigüedades argumentan sobre el comportamiento del programa (por ejemplo, demostrar su identidad), necesitamos traducirlos a otro lenguaje...

11
Inferir tipos de refinamiento

En el trabajo, se me ha encomendado la tarea de inferir cierta información sobre un lenguaje dinámico. Reescribo secuencias de declaraciones en letexpresiones anidadas , así: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z => if x...

10
Comenzando con el Análisis del Programa

Estoy buscando recursos para comenzar con el análisis de programas . El único libro que he encontrado sobre el tema es el libro de Nielson & Nielson . Aparte de eso, parece que solo hay libros de "compilación" donde el "análisis de programa" sería un capítulo, o algo por el estilo. ¿La...

9
Expresividad de las expresiones regulares modernas.

Recientemente hablé con un amigo sobre un sitio web que propuso desafíos de expresiones regulares, principalmente haciendo coincidir un grupo de palabras con una propiedad especial. Estaba buscando una expresión regular que coincida con cadenas como ||||||||donde el número |es primo. Inmediatamente...