Especificaciones de Programas a Través de Programación Lógica (Program Specifications Through Logic Programming)

Möller utiliza un enfoque formal y lógico similar al de Deville para especificar y verificar programas, enfocándose en la transformación de especificaciones en código ejecutable.

Lloyd explora los fundamentos teóricos de la programación lógica, ofreciendo un contexto académico que complementa el enfoque práctico de las especificaciones en el libro de Deville.

Manna se centra en técnicas formales y lógicas para demostrar la corrección de programas, resonando con el propósito de verificación formal presente en la obra de Deville.

Gries aplica un rigor matemático en el desarrollo de programas, alineándose con la claridad y la estructura precisa que Deville busca en la especificación de programas.

Gordon explora métodos para la especificación formal de lenguajes de programación, en sintonía con el enfoque de Deville en la claridad y la precisión en la definición.

Jaffar establece una base teórica en programación lógica y su aplicación en verificación formal, conectándose directamente con los temas tratados en el ensayo de Deville.