Logo
Unionpedia
Comunicación
Disponible en Google Play
¡Nuevo! ¡Descarga Unionpedia en tu dispositivo Android™!
Gratis
¡Más rápido que el navegador!
 

Edsger Dijkstra y Lenguaje de Comandos Guardados

Accesos rápidos: Diferencias, Similitudes, Coeficiente de Similitud Jaccard, Referencias.

Diferencia entre Edsger Dijkstra y Lenguaje de Comandos Guardados

Edsger Dijkstra vs. Lenguaje de Comandos Guardados

Edsger Wybe Dijkstra (AFI) (Róterdam, 11 de mayo de 1930-Nuenen, 6 de agosto de 2002) fue un científico de la computación de los Países Bajos. El Lenguaje de Comandos Guardados (GCL, Guarded Command Language), o de Órdenes Guardadas, es un modelo de lenguaje definido por Edsger Dijkstra para semántica de transformación de predicados (una extensión lógica diseñada para proporcionar una metodología para desarrollar programas "correctos por construcción" en un lenguaje imperativo).

Similitudes entre Edsger Dijkstra y Lenguaje de Comandos Guardados

Edsger Dijkstra y Lenguaje de Comandos Guardados tienen 2 cosas en común (en Unionpedia): Programa informático, Semántica de transformación de predicados.

Programa informático

Un programa informático o programa de computadora es una secuencia de instrucciones u órdenes basadas en un lenguaje de programación que una computadora interpreta para resolver un problema o una función especifica.

Edsger Dijkstra y Programa informático · Lenguaje de Comandos Guardados y Programa informático · Ver más »

Semántica de transformación de predicados

La semántica de transformación de predicados es una extensión de Lógica de Floyd-Hoare ideada por Edsger Dijkstra y extendida y refinada por otros investigadores.

Edsger Dijkstra y Semántica de transformación de predicados · Lenguaje de Comandos Guardados y Semántica de transformación de predicados · Ver más »

La lista de arriba responde a las siguientes preguntas

Comparación de Edsger Dijkstra y Lenguaje de Comandos Guardados

Edsger Dijkstra tiene 60 relaciones, mientras Lenguaje de Comandos Guardados tiene 21. Como tienen en común 2, el índice Jaccard es 2.47% = 2 / (60 + 21).

Referencias

En este artículo se encuentra la relación entre Edsger Dijkstra y Lenguaje de Comandos Guardados. Si desea acceder a cada artículo del que se extrajo la información visite:

¡Hey! ¡Ahora tenemos Facebook! »