Teoría de lenguajes de programación oor Engels
Teoría de lenguajes de programación
Vertalings in die woordeboek Spaans - Engels
programming language theory
en
a branch of computer science that deals with the design, implementation, analysis, characterization, and classification of programming languages and their individual features
Geskatte vertalings
Vertoon algoritmies gegenereerde vertalings
voorbeelde
Advanced filtering
Voorbeelde moet herlaai word.
Desde algunos puntos de vista, la historia de la teoría de lenguajes de programación precede incluso al desarrolllo de los propios lenguajes de programación.
Well, I was this mornin 'WikiMatrix WikiMatrix
Hay varios campos de estudio que o bien caen dentro de la teoría de lenguajes de programación, o bien tienen una profunda influencia en ella; muchos de estos se superponen considerablemente.
We don' t serve their kind hereWikiMatrix WikiMatrix
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.
Open the door now!WikiMatrix WikiMatrix
En la Teoría de lenguajes de programación, la semántica es el campo que tiene que ver con el estudio riguroso desde un punto de vista matemático del significado de los lenguajes de programación.
Rename SessionWikiMatrix WikiMatrix
Algunos otros eventos claves en la historia de la teoría de lenguajes de programación desde entonces: En la década de 1950, Noam Chomsky desarrolló la Jerarquía de Chomsky en el campo de la lingüística; un descubrimiento que impactó directamente a la teoría de lenguajes de programación y otras ramas de la informática.
A list of the Range States of migratory species listed in Appendices I and # shall be kept up to date by the Secretariat using information it has received from the PartiesWikiMatrix WikiMatrix
Las conexiones de Galois se pueden usar para describir muchas formas de abstracción en la teoría de interpretación abstracta de lenguajes de programación.
Take a couple of deep dragsWikiMatrix WikiMatrix
Son especialmente importantes importantes en lógica matemática y en la teoría de los lenguajes de programación, en tanto que el lenguaje interno de las categorías cartesianas cerradas es el cálculo lambda simplemente tipado.
The future, a future where there are no JediWikiMatrix WikiMatrix
Juntos vamos a aprender la teoría y práctica de los lenguajes de programación, finalizando con la construcción de un navegador web.
I' m excited to show her aroundQED QED
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.
Aren' t you hot?WikiMatrix WikiMatrix
El campo de las semánticas formales abarca todo lo que sigue: Definición de modelos semánticos Relaciones entre diferentes modelos semánticos Relaciones entre los distintos enfoques de significado Relación entre computación y las estructuras matemáticas subyacentes de varios campos como la lógica, teoría de conjuntos, teoría de modelos, teoría de categorías, etc. También tiene vínculos cercanos con otras áreas de la ciencia de la computación como el diseño de lenguajes de programación, teoría de tipos, intérpretes y compiladores, verificación de programas y modelos.
Women' s fantasiesWikiMatrix WikiMatrix
La aplicación de la teoría de tipos como una disciplina a los lenguajes de programación, liderada por Milner; esta aplicación ha conducido a un tremendo avance en la teoría de tipos en cuestión de años.
What mission?WikiMatrix WikiMatrix
Y uno de los interesante cosas sobre lenguajes de programación, en realidad, es la, combinación de la teoría.
Press " #- #- #- enter " and a signal will activate the bombQED QED
Algunos ejemplos de teorías decidibles son: la aritmética de Presburger y los sistemas estáticos de tipos de los Lenguajes de programación.
My van' s stuck and I saw a sign for an innWikiMatrix WikiMatrix
Corrado Böhm (Milán, 17 de enero de 1923-Roma, 23 de octubre de 2017) fue un informático teórico italiano, profesor emérito de la Universidad de La Sapienza, conocido principalmente por sus contribuciones en la teoría de programación estructurada, matemática constructiva, lógica combinatoria, cálculo lambda, y la semántica e implementación de lenguajes de programación funcional.
That' s why we' re twinsWikiMatrix WikiMatrix
Floyd recibió el Premio Turing de la ACM en 1978 «por tener una clara influencia en las metodologías para la creación de software eficiente y confiable, y por haber contribuido a la fundación de las subáreas teoría del reconocimiento de frases, semántica de los lenguajes de programación, verificación automatizada de programas, síntesis automatizada de programas y análisis de algoritmos».
You' re wanted throughout Indonesia!WikiMatrix WikiMatrix
Teoría de lenguajes de programación
I' m not being technicalParaCrawl Corpus ParaCrawl Corpus
Artículo principal: Teoría de lenguajes de programación
And we all say# Oh!ParaCrawl Corpus ParaCrawl Corpus
Teoría de lenguajes de programación[editar]
It' s like looking... for a college to attend or somethingParaCrawl Corpus ParaCrawl Corpus
Algunos otros eventos claves en la historia de la teoría de lenguajes de programación desde entonces:
Give it back to me!ParaCrawl Corpus ParaCrawl Corpus
El artículo principal de esta categoría es: Teoría de lenguajes de programación.
I said, get out of the car, now!ParaCrawl Corpus ParaCrawl Corpus
Páginas en la categoría «Teoría de lenguajes de programación»
How will I manage without you?ParaCrawl Corpus ParaCrawl Corpus
Teoría de lenguajes de programación
Do you know where they are now?ParaCrawl Corpus ParaCrawl Corpus
Diseñar sistemas de software autoadaptables es uno de los objetivos de este proyecto, que reúne a doce socios europeos con experiencia en lenguajes de programación, sistemas distribuidos, líneas de producto de software, verificación formal y teoría de tipos.
And he' s with the bogeycordis cordis
Como disciplina científica, las ciencias de la computación abarcan una gama de temas, desde los estudios teóricos de los algoritmos y los límites de la computación a los problemas prácticos de la implementación de sistemas computacionales en hardware y software. Computing Sciences Acreditation Board o la Junta de Acreditación en Ciencias de la Computación. –Compuesta por representantes de la Association for Computing Machinery (ACM), y la Sociedad de Computación IEEE (IEEE-CS) – identifica cuatro áreas que considera cruciales para la disciplina de ciencias de la computación: teoría de la computación, algoritmos y estructuras de datos, metodología y lenguajes de programación, arquitectura de computadoras.
No, just sick of petty corruption downtownWikiMatrix WikiMatrix
Así que hay una gran cantidad de muy buen material de construcción en los sistemas de los lenguajes de programación y por lo general se implica una interacción muy sutil y fructífero con la teoría.
Who forced you?QED QED
79 sinne gevind in 40 ms. Hulle kom uit baie bronne en word nie nagegaan nie.