¡Más rápido que el navegador!
55 relaciones: Alan Kay, Alfabeto griego, Alonzo Church, Análisis de software, C. A. R. Hoare, Cálculo de sistemas comunicantes, Cálculo lambda, Ciencia cognitiva, Ciencias de la computación, Compilador, Conjunto de instrucciones, Corrutina, Entorno de desarrollo integrado, Fortran, IBM, Ingeniería de software, Instituto de Tecnología de Massachusetts, Λ, Jerarquía de Chomsky, John Backus, John McCarthy (científico), Konrad Zuse, Kristen Nygaard, Lenguaje de programación, Lenguaje específico de dominio, Lenguaje orientado a objetos, Lingüística, Lisp, Matemáticas, Máquina virtual, Metaprogramación, MIT Press, Modelo computacional, Noam Chomsky, Ole-Johan Dahl, Paradigma de programación, PARC, Philip Wadler, Plankalkül, Premio Turing, Programación funcional, Recolector de basura, Robin Milner, Scheme, Semántica formal, Simula, Sistema de tipos, Smalltalk, Stephen Kleene, Teoría de autómatas, ..., Teoría de la computabilidad, Teoría de tipos, Tiempo de ejecución, Transpilador, 2006. Expandir índice (5 más) »
Alan Kay
Alan Kay, (Springfield, 17 de mayo de 1940), es un informático estadounidense.
¡Nuevo!!: Teoría de lenguajes de programación y Alan Kay · Ver más »
Alfabeto griego
El alfabeto griego (en griego clásico, τὰ Ἑλληνικὰ ɣράμματα; en griego moderno, το Eλληνικό αλφάβητο; en latín, Alphabetum Graecum) consta de veinticuatro letras utilizado para escribir la lengua griega.
¡Nuevo!!: Teoría de lenguajes de programación y Alfabeto griego · Ver más »
Alonzo Church
Alonzo Church (14 de junio de 1903 - 11 de agosto de 1995), matemático y lógico estadounidense creador de la base de la computación teórica.
¡Nuevo!!: Teoría de lenguajes de programación y Alonzo Church · Ver más »
Análisis de software
En ciencias de la computación, análisis de software es el proceso automatizado de analizar el sistema para el comportamiento del software.
¡Nuevo!!: Teoría de lenguajes de programación y Análisis de software · Ver más »
C. A. R. Hoare
Charles Antony Richard Hoare (Colombo, Sri Lanka, 11 de enero de 1934), también conocido familiarmente como Tony Hoare, es un científico británico en computación.
¡Nuevo!!: Teoría de lenguajes de programación y C. A. R. Hoare · 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!!: Teoría de lenguajes de programación y Cálculo de sistemas comunicantes · Ver más »
Cálculo lambda
En lógica matemática, el cálculo lambda es un sistema formal diseñado para investigar la definición de función, la noción de aplicación de funciones y la recursión.
¡Nuevo!!: Teoría de lenguajes de programación y Cálculo lambda · Ver más »
Ciencia cognitiva
Se denomina ciencia cognitiva al estudio científico de la mente y sus procesos.
¡Nuevo!!: Teoría de lenguajes de programación y Ciencia cognitiva · Ver más »
Ciencias de la computación
Las ciencias de la computación estudian los fundamentos teóricos de la información y el cómputo, junto con técnicas prácticas para la implementación y aplicación de estos fundamentos teóricos.
¡Nuevo!!: Teoría de lenguajes de programación y Ciencias de la computación · Ver más »
Compilador
En informática, un compilador es un programa que traduce código escrito en un lenguaje de programación (llamado fuente) a otro lenguaje (conocido como objeto).
¡Nuevo!!: Teoría de lenguajes de programación y Compilador · Ver más »
Conjunto de instrucciones
Un conjunto de instrucciones, repertorio de instrucciones, juego de instrucciones o ISA (del inglés instruction set architecture, «arquitectura del conjunto de instrucciones») es una especificación que detalla las instrucciones que una unidad central de procesamiento puede entender y ejecutar, o el conjunto de todos los comandos implementados por un diseño particular de una CPU.
¡Nuevo!!: Teoría de lenguajes de programación y Conjunto de instrucciones · Ver más »
Corrutina
En un programa, una corrutina es una unidad de tratamiento semejante a una subrutina, con la diferencia de que, mientras que la salida de una subrutina pone fin a esta, la salida de una corrutina puede ser el resultado de una suspensión de su tratamiento hasta que se le indique retomar su ejecución (multitarea cooperativa).
¡Nuevo!!: Teoría de lenguajes de programación y Corrutina · Ver más »
Entorno de desarrollo integrado
Un entorno de desarrollo integrado o entorno de desarrollo interactivo, en inglés integrated development environment (IDE), es una aplicación informática que proporciona servicios integrales para facilitar al desarrollador o programador el desarrollo de software.
¡Nuevo!!: Teoría de lenguajes de programación y Entorno de desarrollo integrado · Ver más »
Fortran
Fortran (previamente FORTRAN, contracción del inglés The IBM Mathematical Formula Translating System) es un lenguaje de programación de alto nivel de propósito general, procedural e imperativo, que está especialmente adaptado al cálculo numérico y a la computación científica.
¡Nuevo!!: Teoría de lenguajes de programación y Fortran · Ver más »
IBM
International Business Machines Corporation (IBM) es una empresa tecnológica multinacional estadounidense con sede en Armonk, Nueva York.
¡Nuevo!!: Teoría de lenguajes de programación e IBM · Ver más »
Ingeniería de software
La Ingeniería de Software es una de las ramas de las ciencias de la computación que estudia la creación de software confiable y de calidad, basándose en métodos y técnicas de ingeniería, y brindando soporte operacional y de mantenimiento.
¡Nuevo!!: Teoría de lenguajes de programación e Ingeniería de software · Ver más »
Instituto de Tecnología de Massachusetts
El Instituto de Tecnología de Massachusetts (MIT por las iniciales de su nombre en inglés, Massachusetts Institute of Technology) es una universidad privada localizada en Cambridge, Massachusetts (Estados Unidos) considerada por numerosos rankings como una de las mejores y más prestigiosas universidades a nivel mundial, manteniendo durante diez años consecutivos el título de la mejor universidad del mundo según la clasificación mundial de universidades QS.
¡Nuevo!!: Teoría de lenguajes de programación e Instituto de Tecnología de Massachusetts · Ver más »
Λ
Lambda (en mayúscula Λ, en minúscula λ; llamada) es la undécima letra del alfabeto griego.
¡Nuevo!!: Teoría de lenguajes de programación y Λ · Ver más »
Jerarquía de Chomsky
En lingüística la jerarquía de Chomsky (ocasionalmente también llamada la jerarquía de Chomsky–Schützenberger) es una clasificación jerárquica de distintos tipos de gramáticas formales que generan lenguajes formales.
¡Nuevo!!: Teoría de lenguajes de programación y Jerarquía de Chomsky · Ver más »
John Backus
John Backus (Filadelfia, 3 de diciembre de 1924 - Oregón, 17 de marzo de 2007) fue un científico de la computación estadounidense.
¡Nuevo!!: Teoría de lenguajes de programación y John Backus · Ver más »
John McCarthy (científico)
John McCarthy (Boston, Massachusetts, 4 de septiembre de 1927-Stanford, California, 24 de octubre de 2011), fue un prominente informático que recibió el Premio Turing en 1971 por sus importantes contribuciones en el campo de la Inteligencia Artificial.
¡Nuevo!!: Teoría de lenguajes de programación y John McCarthy (científico) · Ver más »
Konrad Zuse
Konrad Zuse (Deutsch-Wilmersdorf, actualmente Berlín, 22 de junio de 1910-Hünfeld, 18 de diciembre de 1995) fue un ingeniero alemán y un pionero de la computación.
¡Nuevo!!: Teoría de lenguajes de programación y Konrad Zuse · Ver más »
Kristen Nygaard
Kristen Nygaard (27 de agosto de 1926 - 10 de agosto de 2002) fue un político, matemático noruego y pionero de la informática.
¡Nuevo!!: Teoría de lenguajes de programación y Kristen Nygaard · Ver más »
Lenguaje de programación
Un lenguaje de programación es un lenguaje formal (o artificial, es decir, un lenguaje con reglas gramaticales bien definidas) que proporciona a una persona, en este caso el programador, la capacidad y habilidad de escribir (o programar) una serie de instrucciones o secuencias de órdenes en forma de algoritmos con el fin de controlar el comportamiento físico o lógico de un sistema informático, para que de esa manera se puedan obtener diversas clases de datos o ejecutar determinadas tareas.
¡Nuevo!!: Teoría de lenguajes de programación y Lenguaje de programación · Ver más »
Lenguaje específico de dominio
En desarrollo de software e ingeniería de dominio, un lenguaje específico de dominio, o "lenguaje específico del dominio", (en inglés domain-specific language, DSL) es un lenguaje de programación o especificación dedicado a resolver un problema en particular, representar un problema específico y proveer una técnica para solucionar una situación particular.
¡Nuevo!!: Teoría de lenguajes de programación y Lenguaje específico de dominio · Ver más »
Lenguaje orientado a objetos
Se le llama así a cualquier lenguaje de programación que implemente los conceptos definidos por la programación orientada a objetos.
¡Nuevo!!: Teoría de lenguajes de programación y Lenguaje orientado a objetos · Ver más »
Lingüística
La lingüística (del francés linguistique; este de linguiste ‘lingüista’ y aquel del latín lingua ‘lengua’) es el estudio científico del origen, la evolución y la estructura del lenguaje, a fin de deducir las leyes que rigen las lenguas (antiguas y modernas).
¡Nuevo!!: Teoría de lenguajes de programación y Lingüística · Ver más »
Lisp
Lisp (históricamente LISP) es una familia de lenguajes de programación de computadora de tipo multiparadigma con larga historia y una inconfundible y útil sintaxis homoicónica basada en la notación polaca.
¡Nuevo!!: Teoría de lenguajes de programación y Lisp · Ver más »
Matemáticas
Las matemáticas, o también la matemática, La palabra «matemáticas» no está en el Diccionario de la Real Academia Española.
¡Nuevo!!: Teoría de lenguajes de programación y Matemáticas · Ver más »
Máquina virtual
El concepto de máquina virtual puede definirse como equipos virtuales o equipos definidos por software dentro de servidores físicos, donde solo existen como código.
¡Nuevo!!: Teoría de lenguajes de programación y Máquina virtual · Ver más »
Metaprogramación
La metaprogramación consiste en escribir programas que escriben o manipulan otros programas (o a sí mismos) como datos, o que hacen en tiempo de compilación parte del trabajo que, de otra forma, se haría en tiempo de ejecución.
¡Nuevo!!: Teoría de lenguajes de programación y Metaprogramación · Ver más »
MIT Press
MIT Press es una editorial universitaria afiliada a Instituto Tecnológico de Massachusetts (MIT).
¡Nuevo!!: Teoría de lenguajes de programación y MIT Press · Ver más »
Modelo computacional
Un modelo computacional es un modelo matemático en las ciencias de la computación que requiere extensos recursos computacionales para estudiar el comportamiento de un sistema complejo por medio de la simulación por computadora.
¡Nuevo!!: Teoría de lenguajes de programación y Modelo computacional · Ver más »
Noam Chomsky
Avram Noam Chomsky (Filadelfia, 7 de diciembre de 1928) es un lingüista, filósofo, politólogo y activista estadounidense de origen judío.
¡Nuevo!!: Teoría de lenguajes de programación y Noam Chomsky · 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!!: Teoría de lenguajes de programación y Ole-Johan Dahl · Ver más »
Paradigma de programación
Se denominan paradigmas de programación a las formas de clasificar los lenguajes de programación en función de sus características.
¡Nuevo!!: Teoría de lenguajes de programación y Paradigma de programación · Ver más »
PARC
PARC (Palo Alto Research Center; anteriormente Xerox PARC) es una empresa de investigación y desarrollo, propiedad de Xerox Corporation, ubicada en Palo Alto, California, Estados Unidos.
¡Nuevo!!: Teoría de lenguajes de programación y PARC · Ver más »
Philip Wadler
Philip Lee "Phil" Wadler (nacido el 8 de abril de 1956) es un científico de la computación estadounidense conocido por sus contribuciones al diseño de lenguajes de programación y la teoría de tipos.
¡Nuevo!!: Teoría de lenguajes de programación y Philip Wadler · Ver más »
Plankalkül
Plankalkül fue el primer lenguaje de programación que fue creado por el científico alemán Konrad Zuse en los años 1942 a 1946, se considera un lenguaje de alto nivel, pero no se publicó hasta 1972.
¡Nuevo!!: Teoría de lenguajes de programación y Plankalkül · 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!!: Teoría de lenguajes de programación y Premio Turing · Ver más »
Programación funcional
En informática, la programación funcional es un paradigma de programación declarativa basado en el uso de verdaderas funciones matemáticas.
¡Nuevo!!: Teoría de lenguajes de programación y Programación funcional · Ver más »
Recolector de basura
Un recolector de basura (del inglés garbage collector) es un mecanismo implícito de gestión de memoria implementado en algunos lenguajes de programación de tipo interpretado o semiinterpretado.
¡Nuevo!!: Teoría de lenguajes de programación y Recolector de basura · Ver más »
Robin Milner
Robin Milner, (Plymouth, 13 de enero de 1934 - Cambridge, 20 de marzo de 2010).
¡Nuevo!!: Teoría de lenguajes de programación y Robin Milner · Ver más »
Scheme
Scheme es un lenguaje de programación funcional (si bien impuro pues sus estructuras de datos no son inmutables) y un dialecto de Lisp.
¡Nuevo!!: Teoría de lenguajes de programación y Scheme · Ver más »
Semántica formal
La semántica formal es el estudio de las interpretaciones de los lenguajes formales.
¡Nuevo!!: Teoría de lenguajes de programación y Semántica formal · Ver más »
Simula
Simula es un lenguaje de programación orientada a objetos (POO) de 1962.
¡Nuevo!!: Teoría de lenguajes de programación y Simula · Ver más »
Sistema de tipos
En ciencias de la computación, un sistema de tipos define cómo un lenguaje de programación clasifica los valores y las expresiones en '''tipos''', cómo se pueden manipular estos tipos y cómo interactúan.
¡Nuevo!!: Teoría de lenguajes de programación y Sistema de tipos · Ver más »
Smalltalk
Smalltalk es un lenguaje reflexivo de programación, orientado a objetos y con tipado dinámico.
¡Nuevo!!: Teoría de lenguajes de programación y Smalltalk · Ver más »
Stephen Kleene
Stephen Cole Kleene (Hartford, Connecticut; 5 de enero de 1909-Madison, Wisconsin; 25 de enero de 1994) fue un lógico y matemático estadounidense.
¡Nuevo!!: Teoría de lenguajes de programación y Stephen Kleene · Ver más »
Teoría de autómatas
La teoría de autómatas es una rama de la teoría de la computación que estudia las máquinas abstractas y los problemas que éstas son capaces de resolver.
¡Nuevo!!: Teoría de lenguajes de programación y Teoría de autómatas · Ver más »
Teoría de la computabilidad
La teoría de la computabilidad o teoría de la recursión es la parte de la computación que estudia los problemas de decisión que se pueden resolver con un algoritmo o equivalentemente con una máquina de Turing.
¡Nuevo!!: Teoría de lenguajes de programación y Teoría de la computabilidad · Ver más »
Teoría de tipos
En matemáticas, lógica y ciencias de la computación, la teoría de tipos es cualquiera de varios sistemas formales que pueden servir como alternativas a la teoría de conjuntos como fundamento de las matemáticas constructivas, o al estudio de tales formalismos en general.
¡Nuevo!!: Teoría de lenguajes de programación y Teoría de tipos · Ver más »
Tiempo de ejecución
Se denomina tiempo de ejecución (runtime en inglés) al intervalo de tiempo en el que un programa de computadora se ejecuta en un sistema operativo.
¡Nuevo!!: Teoría de lenguajes de programación y Tiempo de ejecución · Ver más »
Transpilador
Transpilador es un tipo especial de compilador que traduce de un lenguaje fuente a otro fuente también de un nivel de abstracción parecido.
¡Nuevo!!: Teoría de lenguajes de programación y Transpilador · Ver más »
2006
2006 fue un año común comenzado en domingo según el calendario gregoriano.
¡Nuevo!!: Teoría de lenguajes de programación y 2006 · Ver más »
Redirecciona aquí:
Teoria de lenguajes de programacion, Teoria de lenguajes de programación, Teoría de lenguajes de programacion.
