programming language semantics oor Spaans
programming language semantics
Vertalings in die woordeboek Engels - Spaans
Semántica de lenguajes de programación
en
the field concerned with the rigorous mathematical study of the meaning of programming languages
Geskatte vertalings
Vertoon algoritmies gegenereerde vertalings
voorbeelde
Advanced filtering
Voorbeelde moet herlaai word.
Some experimental compiler-compilers take as input a formal description of programming language semantics, typically using denotational semantics.
Tu mejor amigo es Frankie MiedoWikiMatrix WikiMatrix
“The whole approach is independent of any particular hardware or application domain in the sense that it is based purely on the programming language semantics and a general energy model.
¿ Crees que nos odia?cordis cordis
In programming language theory, semantics is the field concerned with the rigorous mathematical study of the meaning of programming languages.
El maquinista debe ser capaz de prever y reaccionar correctamente tanto en términos de seguridad como de rendimientoWikiMatrix WikiMatrix
They should not be dependent on the vagaries of programming language syntax or semantics
Si no le gustan las respuestas, debe evitar hacer las preguntasLiterature Literature
Like concurrent programming languages, HDL syntax and semantics include explicit notations for expressing concurrency.
ElCoronel Mekum es su comandanteWikiMatrix WikiMatrix
HATS will also focus on security and trustworthiness by replacing what are normally informal processes with rigorous mathematical analyses of the meaning of the programming languages used ('formal semantics').
Es una chica guapacordis cordis
These divisions and subsets include analysis of algorithms and formal semantics of programming languages.
Iba todos los días a esperarlaa la estaciónWikiMatrix WikiMatrix
There is an extensive literature on formalized object models as a subset of the formal semantics of programming languages.
Luego, de repente, empieza a decir cuánto quería a su esposa...... y cómo se prendó de ella, como las vacas de MichiganWikiMatrix WikiMatrix
Semantics In many programming languages, an object may not change the class from which it is instantiated.
En este punto, no me importaLiterature Literature
Several vendors have created C to HDL languages that attempt to emulate the syntax and semantics of the C programming language, with which most programmers are familiar.
No conservar a temperatura superior a #oCWikiMatrix WikiMatrix
Programming languages that employ call by value semantics provide a called subroutine with its own local copy of the arguments passed to it.
De mi amigo, sólo diréWikiMatrix WikiMatrix
The semantics and syntax of each programming language may affect the implementation of this pattern.
Una pareja sin niños se rompe fácilmenteWikiMatrix WikiMatrix
The field has major applications in computer science, where it is used to specify denotational semantics, especially for functional programming languages.
Me enfurezco si se meten con papáWikiMatrix WikiMatrix
His work on automata theory earned him the ACM Turing Award in 1976, while his collaborative work with Christopher Strachey in the 1970s laid the foundations of modern approaches to the semantics of programming languages.
No comprendemos el poder del mal,... el poder de la muerteWikiMatrix WikiMatrix
This period saw Scott working with Christopher Strachey, and the two managed, despite administrative pressures, to do work on providing a mathematical foundation for the semantics of programming languages, the work for which Scott is best known.
Bien, te veo esta noche, no faltesWikiMatrix WikiMatrix
Many programming languages provide support for list data types, and have special syntax and semantics for lists and list operations.
Está ocupadaWikiMatrix WikiMatrix
Corrado Böhm (17 January 1923 – 23 October 2017) was a Professor Emeritus at the University of Rome "La Sapienza" and a computer scientist known especially for his contributions to the theory of structured programming, constructive mathematics, combinatory logic, lambda calculus, and the semantics and implementation of functional programming languages.
Esto no es buenoWikiMatrix WikiMatrix
Criticisms around duck typing tend to be special cases of broader points of contention regarding dynamically typed versus statically typed programming language semantics.
demore diez minutos para amarrarme una sola botaParaCrawl Corpus ParaCrawl Corpus
Scott's work of this period led to the bestowal of: The 1990 Harold Pender Award for his application of concepts from logic and algebra to the development of mathematical semantics of programming languages; The 1997 Rolf Schock Prize in logic and philosophy from the Royal Swedish Academy of Sciences for his conceptually oriented logical works, especially the creation of domain theory, which has made it possible to extend Tarski's semantic paradigm to programming languages as well as to construct models of Curry's combinatory logic and Church's calculus of lambda conversion; and The 2001 Bolzano Prize for Merit in the Mathematical Sciences by the Czech Academy of Sciences The 2007 EATCS Award for his contribution to theoretical computer science.
De repente, contigo aquí, por fin...... entendí el verdadero significado de la letraWikiMatrix WikiMatrix
Formal semantics is the formal specification of the behaviour of computer programs and programming languages.
Ambas mujeresWikiMatrix WikiMatrix
Formal methods are best described as the application of a fairly broad variety of theoretical computer science fundamentals, in particular logic calculi, formal languages, automata theory, and program semantics, but also type systems and algebraic data types to problems in software and hardware specification and verification.
Información comunicada por los Estados miembros con relación a la ayuda concedida en virtud del Reglamento (CE) no #/# de la Comisión, por el que se declaran determinadas categorías de ayuda compatibles con el mercado común en aplicación de los artículos # y # del Tratado (Reglamento general de exención por categoríasWikiMatrix WikiMatrix
He is well known for his work on computer security and on programming languages, including his paper (with Michael Burrows and Roger Needham) on the Burrows-Abadi-Needham logic for analyzing authentication protocols, and his book (with Luca Cardelli) A Theory of Objects, laying out formal calculi for the semantics of object-oriented programming languages.
por el que se establece un derechoantidumping provisional sobre las importaciones de ácido tricloroisocianúrico originarias de la República Popular China y de los Estados Unidos de AméricaWikiMatrix WikiMatrix
Criticisms around duck typing tend to be special cases of broader points of contention regarding dynamically typed versus statically typed programming language semantics.[citation needed]
Ya identificaron el cuerpo de la chica encontrada en el lagoParaCrawl Corpus ParaCrawl Corpus
Semantics describes the processes a computer follows when executing a program in that specific language.
Ámbito de aplicaciónWikiMatrix WikiMatrix
He obtained this position without a Ph.D. He received the Turing Award in 1978 "for having a clear influence on methodologies for the creation of efficient and reliable software, and for helping to found the following important subfields of computer science: the theory of parsing, the semantics of programming languages, automatic program verification, automatic program synthesis, and analysis of algorithms".
Disculpa, muchachoWikiMatrix WikiMatrix
93 sinne gevind in 14 ms. Hulle kom uit baie bronne en word nie nagegaan nie.