¡Más rápido que el navegador!
32 relaciones: Ada (lenguaje de programación), ALGOL, Aserción (informática), Cálculo de sistemas comunicantes, Cliff Jones (informático), Compilador verificante, Edgar Frank Codd, Erlang, Exclusión mutua (informática), Grandes sistemas de Burroughs, He Jifeng, Instituto Turing, Kenneth Iverson, Lógica de Hoare, Medalla John von Neumann, Michael A. Jackson, Monitor (concurrencia), Museo de la Historia de la Computación, Ole-Johan Dahl, Optimización de software, Peter Landin, Premio Kioto, Premio Turing, Puntero (informática), Quicksort, Semántica axiomática, Semántica lingüística, Teoría de lenguajes de programación, Teorías unificadas de la programación, Universidad ITMO, Whiley (lenguaje de programación), 11 de enero.
Ada (lenguaje de programación)
Ada es un lenguaje de programación orientado a objetos y fuertemente tipado de forma estática que fue diseñado por Jean Ichbiah de CII Honeywell Bull por encargo del Departamento de Defensa de los Estados Unidos.
¡Nuevo!!: C. A. R. Hoare y Ada (lenguaje de programación) · Ver más »
ALGOL
Se denomina ALGOL (o Algol) a un lenguaje de programación.
¡Nuevo!!: C. A. R. Hoare y ALGOL · Ver más »
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!!: C. A. R. Hoare y Aserción (informática) · Ver más »
Cálculo de sistemas comunicantes
El cálculo de sistemas comunicantes o CCS es un lenguaje de especificación formal basado en el álgebra de procesos, para la especificación y modelado de sistemas discretos comunicantes.
¡Nuevo!!: C. A. R. Hoare y Cálculo de sistemas comunicantes · Ver más »
Cliff Jones (informático)
Clifford "Cliff" B. Jones FREng (nacido el 1 de junio de 1944) es un informático británico, especializado en la investigación de métodos formales.
¡Nuevo!!: C. A. R. Hoare y Cliff Jones (informático) · Ver más »
Compilador verificante
Compilador verificante es un gran reto propuesto por C. A. R. Hoare.
¡Nuevo!!: C. A. R. Hoare y Compilador verificante · Ver más »
Edgar Frank Codd
Edgar Frank "Ted" Codd fue un científico informático inglés (19 de agosto de 1923 - 18 de abril de 2003), conocido por crear el modelo relacional de bases de datos.
¡Nuevo!!: C. A. R. Hoare y Edgar Frank Codd · Ver más »
Erlang
Erlang es un lenguaje de programación concurrente (u orientado a la concurrencia) y un sistema de ejecución que incluye una máquina virtual (BEAM) y bibliotecas (OTP).
¡Nuevo!!: C. A. R. Hoare y Erlang · Ver más »
Exclusión mutua (informática)
Los algoritmos de exclusión mutua (comúnmente abreviada como mutex por mutual exclusion) se usan en programación concurrente para evitar que entre más de un proceso a la vez en la sección crítica.
¡Nuevo!!: C. A. R. Hoare y Exclusión mutua (informática) · Ver más »
Grandes sistemas de Burroughs
Los grandes sistemas de Burroughs fueron los más grandes de tres series de computadores mainframes de Burroughs Corporation.
¡Nuevo!!: C. A. R. Hoare y Grandes sistemas de Burroughs · Ver más »
He Jifeng
He Jifeng, chino simplificado: 何积丰, chino tradicional: 何積豐, pinyin: Hé Jīfēng (Shanghái, 1943) es un informático teórico chino.
¡Nuevo!!: C. A. R. Hoare y He Jifeng · Ver más »
Instituto Turing
El Instituto Turing fue un laboratorio de inteligencia artificial con sede en Glasgow, Escocia, entre 1983 y 1994.
¡Nuevo!!: C. A. R. Hoare e Instituto Turing · Ver más »
Kenneth Iverson
Kenneth Iverson, (Alberta, 17 de diciembre de 1920-Toronto, 19 de octubre de 2004) fue un informático teórico y matemático canadiense.
¡Nuevo!!: C. A. R. Hoare y Kenneth Iverson · 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!!: C. A. R. Hoare y Lógica de Hoare · Ver más »
Medalla John von Neumann
La Medalla John von Neumann es un premio de ciencias de la computación establecido por la dirección del IEEE en 1990 y puede ser concedida anualmente "en reconocimiento a logros sobresalientes en ciencia y tecnología relativos a los computadores." Los logros pueden ser teóricos, tecnológicos o empresariales, y no tienen por qué haberse conseguido con precedencia inmediata a la concesión del galardón.
¡Nuevo!!: C. A. R. Hoare y Medalla John von Neumann · Ver más »
Michael A. Jackson
Michael Anthony Jackson (16 de febrero de 1936), conocido como Michael A. Jackson, es un científico de la computación británico y consultor informático independiente en Londres, Inglaterra.
¡Nuevo!!: C. A. R. Hoare y Michael A. Jackson · Ver más »
Monitor (concurrencia)
En la programación paralela, los monitores son estructuras de datos abstractas destinadas a ser usadas sin peligro por más de un hilo de ejecución.
¡Nuevo!!: C. A. R. Hoare y Monitor (concurrencia) · Ver más »
Museo de la Historia de la Computación
El Museo de la Historia de la Computación (Computer History Museum) es un museo establecido en 1996 en Mountain View, California.
¡Nuevo!!: C. A. R. Hoare y Museo de la Historia de la Computación · Ver más »
Ole-Johan Dahl
Ole-Johan Dahl (Mandal, Noruega, 12 de octubre de 1931 – 29 de junio de 2002) fue un científico de la computación noruego considerado uno de los padres del lenguaje de programación Simula, y de la programación orientada a objetos, junto con Kristen Nygaard.
¡Nuevo!!: C. A. R. Hoare y Ole-Johan Dahl · Ver más »
Optimización de software
La optimización de software es el proceso de modificación de un software para hacer que algún aspecto del mismo funcione de manera más eficiente y/o utilizar menos recursos (mayor rendimiento).
¡Nuevo!!: C. A. R. Hoare y Optimización de software · Ver más »
Peter Landin
Peter John Landin (5 de junio de 1930 - 3 de junio de 2009) fue un informático británico.
¡Nuevo!!: C. A. R. Hoare y Peter Landin · Ver más »
Premio Kioto
Los, establecidos en 1984 por la Fundación Inamori, basada en Japón, son un galardón que premia los trabajos en las áreas de la filosofía, las artes, las ciencias y la tecnología, así como a las contribuciones a la humanidad de ciertos individuos.
¡Nuevo!!: C. A. R. Hoare y Premio Kioto · Ver más »
Premio Turing
El Premio Turing es un premio de las Ciencias de la Computación que es otorgado anualmente por la Asociación para la Maquinaria Computacional (ACM) a quienes hayan contribuido de manera trascendental al campo de las ciencias computacionales.
¡Nuevo!!: C. A. R. Hoare y Premio Turing · Ver más »
Puntero (informática)
En ciencias de la computación, un puntero es un objeto del lenguaje de programación, cuyo valor se refiere a (o "apunta a") otro valor almacenado en otra parte de la memoria del ordenador utilizando su dirección.
¡Nuevo!!: C. A. R. Hoare y Puntero (informática) · Ver más »
Quicksort
El ordenamiento rápido (quicksort en inglés) es un algoritmo de ordenacion creado por el científico británico en computación C. A. R. Hoare.
¡Nuevo!!: C. A. R. Hoare y Quicksort · Ver más »
Semántica axiomática
Semántica axiomática es un enfoque basado en la lógica matemática para demostrar la correctitud de un algoritmo.
¡Nuevo!!: C. A. R. Hoare y Semántica axiomática · Ver más »
Semántica lingüística
La semántica lingüística es un subcampo de la semántica general y de la lingüística que estudia la codificación del significado dentro de las expresiones lingüísticas.
¡Nuevo!!: C. A. R. Hoare y Semántica lingüística · Ver más »
Teoría de lenguajes de programación
La teoría de lenguajes de programación es una rama de la ciencias de la computación que se encarga del diseño, implementación, análisis, caracterización y clasificación de lenguajes de programación y sus características.
¡Nuevo!!: C. A. R. Hoare y Teoría de lenguajes de programación · Ver más »
Teorías unificadas de la programación
Las Teorías Unificadas de Programación (UTP) en ciencias de la computación se ocupan de la semántica de los programas.
¡Nuevo!!: C. A. R. Hoare y Teorías unificadas de la programación · Ver más »
Universidad ITMO
La Universidad ITMO (Ruso: Университет ИТМО) es una universidad en San Petersburgo, y una de las Universidades Nacionales de Investigación de Rusia.
¡Nuevo!!: C. A. R. Hoare y Universidad ITMO · Ver más »
Whiley (lenguaje de programación)
Whiley es un lenguaje compilado multiparadigma de propósito general desarrollado por David Pearce.
¡Nuevo!!: C. A. R. Hoare y Whiley (lenguaje de programación) · Ver más »
11 de enero
El 11 de enero es el 11.º (undécimo) o 11.ᵉʳ (decimoprimer) día del año en el calendario gregoriano.
¡Nuevo!!: C. A. R. Hoare y 11 de enero · Ver más »
Redirecciona aquí:
Anthony richard hoare, C A R Hoare, C.A.R. Hoare, Charles Antony Richard Hoare, Tony Hoare.
