10 relaciones: Aserción (informática), Association for Computing Machinery, Computación concurrente, Edsger Dijkstra, Función parcial, Lógica de Hoare, Lenguaje de Comandos Guardados, Leslie Lamport, Postcondición, Programación imperativa.
Aserción (informática)
En programación, una aserción es un predicado (i.e., una sentencia verdadero-falso) incluido en un programa como indicación de que el programador piensa que dicho predicado siempre se cumple en ese punto del flujo de programa.
¡Nuevo!!: Semántica de transformación de predicados y Aserción (informática) · Ver más »
Association for Computing Machinery
ACM es el acrónimo de Association for Computing Machinery (Asociación de Maquinaria Computacional).
¡Nuevo!!: Semántica de transformación de predicados y Association for Computing Machinery · Ver más »
Computación concurrente
La computación concurrente es una forma de cómputo en la cual varios cálculos se realizan concurrentemente, y no uno a la vez de forma secuencial.
¡Nuevo!!: Semántica de transformación de predicados y Computación concurrente · Ver más »
Edsger Dijkstra
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.
¡Nuevo!!: Semántica de transformación de predicados y Edsger Dijkstra · Ver más »
Función parcial
Las funciones se pueden clasificar en función de su conjunto de partida (o dominio).
¡Nuevo!!: Semántica de transformación de predicados y Función parcial · Ver más »
Lógica de Hoare
La lógica de Hoare es un sistema formal desarrollado por C.A.R. Hoare — y posteriormente refinado por otros investigadores — que proporciona a una serie de reglas de inferencia para razonar sobre la corrección de programas imperativos con el rigor de la lógica matemática.
¡Nuevo!!: Semántica de transformación de predicados y Lógica de Hoare · Ver más »
Lenguaje de Comandos Guardados
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).
¡Nuevo!!: Semántica de transformación de predicados y Lenguaje de Comandos Guardados · Ver más »
Leslie Lamport
Leslie Lamport (Nueva York, EE.UU., 7 de febrero de 1941) es un matemático y científico de la computación estadounidense.
¡Nuevo!!: Semántica de transformación de predicados y Leslie Lamport · Ver más »
Postcondición
En programación, una postcondición es una condición o predicado lógico que siempre debe cumplirse justamente después de la ejecución de una sección de código o de una operación (especificación formal).
¡Nuevo!!: Semántica de transformación de predicados y Postcondición · Ver más »
Programación imperativa
En ciencias de la computación se denomina programación imperativa a un paradigma de programación de software que utiliza fórmulas que alteran el estado de un programa.
¡Nuevo!!: Semántica de transformación de predicados y Programación imperativa · Ver más »
Redirecciona aquí:
Semantica de transformacion de predicados, Semantica de transformación de predicados, Semántica de transformacion de predicados.