programming language theory oor Spaans

programming language theory

Vertalings in die woordeboek Engels - Spaans

Teoría de lenguajes de programación

en
a branch of computer science that deals with the design, implementation, analysis, characterization, and classification of programming languages and their individual features
wikidata

Geskatte vertalings

Vertoon algoritmies gegenereerde vertalings

voorbeelde

wedstryd
woorde
Advanced filtering
Voorbeelde moet herlaai word.
In some ways, the history of programming language theory predates even the development of programming languages themselves.
La semana pasada un senador liberal cambió su voto a último momento. y evitó la creación del mayor sistemadeseguridad jamás creadoWikiMatrix WikiMatrix
In programming language theory, semantics is the field concerned with the rigorous mathematical study of the meaning of programming languages.
y así es como haces el ScarnWikiMatrix WikiMatrix
Programming language theory is a branch of computer science that deals with the design, implementation, analysis, characterization, and classification of programming languages and their individual features.
Este crédito se destina a cubrir los costes de las prestaciones externas que conllevan las operaciones de archivo, incluida la selección, la clasificación y la nueva clasificación en los depósitos, los costes de las prestaciones de archivo, la adquisición y la explotación de fondos de archivo en soportes de sustitución (microfilms, discos, cintas, etc.), así como la compra, el alquiler y el mantenimiento de materiales especiales (electrónicos, informáticos, eléctricos) y los gastos de publicación en todo tipo de formato (folletos, CD-ROM, etcWikiMatrix WikiMatrix
There are several fields of study which either lie within programming language theory, or which have a profound influence on it; many of these have considerable overlap.
Deberían examinarse a sí mismosWikiMatrix WikiMatrix
Some other key events in the history of programming language theory since then: Noam Chomsky developed the Chomsky hierarchy in the field of linguistics; a discovery which has directly impacted programming language theory and other branches of computer science.
¡ Quietas, es la de repuesto!WikiMatrix WikiMatrix
The terms interpreted language and compiled language are not well defined because, in theory, any programming language can be either interpreted or compiled.
La batalla nocturna en Guadalcanal fue la noche que John BasiloneWikiMatrix WikiMatrix
Philip Lee Wadler (born April 8, 1956) is an American computer scientist known for his contributions to programming language design and type theory.
Firmando correos electrónicos y archivos (calificadoWikiMatrix WikiMatrix
And one of the interesting things about programming languages, actually, is the, combination of theory.
Cambia al canalQED QED
In programming languages (more so functional programming languages) and type theory, an option type or maybe type is a polymorphic type that represents encapsulation of an optional value; e.g., it is used as the return type of functions which may or may not return a meaningful value when they are applied.
No me hables de los DodgersWikiMatrix WikiMatrix
Type theory became applied as a discipline to programming languages, this application has led to tremendous advances in type theory over the years.
Muelles de Los Ángeles, en # horas, al amanecerWikiMatrix WikiMatrix
Together we're going to learn the theory and practice of programming languages, culminating in the construction of a web browser.
¿ Cómo va nuestro emparejamiento?QED QED
The field of formal semantics encompasses all of the following: The definition of semantic models The relations between different semantic models The relations between different approaches to meaning The relation between computation and the underlying mathematical structures from fields such as logic, set theory, model theory, category theory, etc. It has close links with other areas of computer science such as programming language design, type theory, compilers and interpreters, program verification and model checking.
Deberán establecerse las disposiciones adecuadas para tener en cuenta las condiciones especiales de seguridad en los túneles de gran longitudWikiMatrix WikiMatrix
In theory, you can use any programming language to develop applications.
Con ese fin, las señales procedentes de la medición continua del caudal se utilizan para corregir, según se requiera, el caudal de muestra que atraviesa los filtros de partículas del sistema de toma de muestras de partículas (figuras # yLiterature Literature
Galois connections may be used to describe many forms of abstraction in the theory of abstract interpretation of programming languages.
Me debe # grandes del básquet universitarioWikiMatrix WikiMatrix
The pure functional programming language Haskell implements them using monads, derived from category theory.
Deberíamos deducir que estos árboles cristaliformes... son colectores de energíaWikiMatrix WikiMatrix
Main article: Programming language theory
Los observadores mantendrán su independencia con respecto al operador, al capitán del buque y a todos los miembros de la tripulaciónParaCrawl Corpus ParaCrawl Corpus
Programming language theory[edit]
la Coronel Burton me dijo que deberia empezar a estudiar para ser sargentoParaCrawl Corpus ParaCrawl Corpus
Some other key events in the history of programming language theory since then:
Ha tenido una inspiración, ¿ eh?ParaCrawl Corpus ParaCrawl Corpus
Programming Language Theory Functional Programming
Entonces cuando vi su anunciopenséParaCrawl Corpus ParaCrawl Corpus
These categories are particularly important in mathematical logic and the theory of programming, in that their internal language is the simply typed lambda calculus.
Se aplicará a partir del # de septiembre deWikiMatrix WikiMatrix
In programming language theory, semantics is the field concerned with the rigorous mathematical study of the meaning of programming languages.
Despues de que rompio, Siago inhalaba mas y mas cada diaParaCrawl Corpus ParaCrawl Corpus
For example, programming language theory studies approaches to describing computations, while computer programming applies specific programming languages to solve specific computational problems.
Se cree que borró la evidenciaParaCrawl Corpus ParaCrawl Corpus
For example, programming language theory studies approaches to describing computations, while computer programming applies specific programming languages to solve specific computational problems.
Si fuera necesario, los Estados miembros o las instituciones de la UE podrán también enviar en comisión de servicios a personal civil internacional por un período mínimo de un añoParaCrawl Corpus ParaCrawl Corpus
A lover of systems and programming language theory, Carter can be found staying up late at night arguing over concurrency models with friends.
Le buscaré por todo el pais y se lo haré pagarParaCrawl Corpus ParaCrawl Corpus
So there's a lot of very good systems building material in programming languages and typically involves a very subtle and, fruitful interactions with theory.
No será sabioQED QED
155 sinne gevind in 17 ms. Hulle kom uit baie bronne en word nie nagegaan nie.