operational semantics oor Spaans
operational semantics
en
A way to give meaning to computer programs in a mathematically rigorous way by describing how a valid program is interpreted as sequences of computational steps.
Vertalings in die woordeboek Engels - Spaans
Semántica operacional
en
category of formal programming language semantics in which certain desired properties of a program are verified by constructing proofs from logical statements about its execution, procedures,rather than by attaching mathematical meanings to its terms
semántica operacional
en
A way to give meaning to computer programs in a mathematically rigorous way by describing how a valid program is interpreted as sequences of computational steps.
es
Forma de dar sentido a los programas de ordenador de una manera matemáticamente rigurosa al describir cómo un programa válido se interpreta como secuencias de pasos de cálculo.
Geskatte vertalings
Vertoon algoritmies gegenereerde vertalings
voorbeelde
Advanced filtering
Voorbeelde moet herlaai word.
The mathematical techniques used include denotational semantics, axiomatic semantics, operational semantics, and abstract interpretation.
Ya no haré más películas.- ¿ En serio?WikiMatrix WikiMatrix
Operational semantics, whereby the execution of the language is described directly (rather than by translation).
¡ Debes quitarte la ropa!WikiMatrix WikiMatrix
Generating the body of the methods from class diagram operation semantics
Si Lowenstein llama al gobernadorscielo-title scielo-title
Operational semantics loosely corresponds to interpretation, although again the "implementation language" of the interpreter is generally a mathematical formalism.
Guardia.Saca a este tipo del escenarioWikiMatrix WikiMatrix
For example: To prove that a particular operational semantics for a language satisfies the logical formulas of an axiomatic semantics for that language.
Tenías razónWikiMatrix WikiMatrix
Launchbury 1993 describes some difficulties that lazy evaluation introduces, particularly in analyzing a program's storage requirements, and proposes an operational semantics to aid in such analysis.
No puedes decirme esoWikiMatrix WikiMatrix
Weaving Executability into Object-Oriented Meta-Languages MOF Support for Semantic Structures RFP Request For Proposal on SMOF Object Management Group OMG's MetaObject Facility M3Actions: MOF Operational Semantics
¡ Debes quitarte la ropa!WikiMatrix WikiMatrix
Operational semantics may define an abstract machine (such as the SECD machine), and give meaning to phrases by describing the transitions they induce on states of the machine.
Haré todo lo que puedaWikiMatrix WikiMatrix
ADSD is an algebraic specification with operational semantics defined to be used with LeGESD. ADSD provides graphical-algebraic equivalence relations which can be used to generate formal specifications of distributed systems.
A nosotros nos gusta muchoscielo-abstract scielo-abstract
Kermeta is an extension to MOF allowing executable actions to be attached to EMOF meta-models, hence making it possible to also model a DSL operational semantics and readily obtain an interpreter for it.
Es tan horribleWikiMatrix WikiMatrix
For example, the order-of-precedence rules for arithmetic operators are semantic rules.
Las causas de esto no residen únicamente en los países afectados, sino que son reflejo también del creciente escepticismo que ciertos sectores políticos muestran hacia la ampliación.Literature Literature
A concept's intension is a description of its attributes, operations and semantics.
Asunto: Medidas compensatorias del espacio natural por las obras de profundización en el Escalda occidentalLiterature Literature
To prove that operational semantics over a high-level machine is related by a simulation with the semantics over a low-level machine, whereby the low-level abstract machine contains more primitive operations than the high-level abstract machine definition of a given language.
Invitaste extraños sin mi permiso y luego, para agregar un insulto a la injuria te presentas aquí con tu feo y mosntruoso muñeco?WikiMatrix WikiMatrix
In debating over what there is, there are still reasons for operating on a semantical plane.
No tenemos prueba acerca de que eso esté claroLiterature Literature
According to a definition dating from the 70s, Capital is a “semantic operator”.
Hoy aprendereis la esencia de nuestra culturaCommon crawl Common crawl
As observations, the operations that condense and confirm semantics are blind to their own operating.
No esto segura, pero definitivamente he visto esta tarjeta antesLiterature Literature
C-like languages feature two versions (pre- and post-) of each operator with slightly different semantics.
Todos los pacientes habían recibido al menos dos regímenesantirretrovirales basados en IP y estaban fracasando con un régimen basado en unIP en el momento de entrar en el ensayoWikiMatrix WikiMatrix
Semantics An operation (but not a reception) may be declared to be a query.
Cuando teníamos diez, salimos en Halloween como Hansel y Gretel...... y Maggie era una princesa o algo asíLiterature Literature
The conceptual, semantic, and operational equivalence of the prototype version was analyzed.
¿ Puede describir los incendios?scielo-abstract scielo-abstract
If need be, Oracle adds join conditions or group by operations to preserve the semantics of the query.
Es maravillosa, BarbaraLiterature Literature
The code generation is achieved by semantically relating operations in unified modeling language (UML) class diagrams with implemented operations.
Hay alguien por ahí que sabe cómo detener todo estoscielo-abstract scielo-abstract
A class is a description of a set of objects that share the same attributes, operations, signals, relationships and semantics.
Este crédito se destina a cubrir los gastos relacionados con la organización de reuniones internascordis cordis
It’s a semantic paradox that operates on the concept of words that refer to themselves.
Ahora, dígame usted, ¿ cómo puede alguien ahogarse en la ducha?Literature Literature
This is in keeping with the normal semantics of the + operator.
Me uní al Capitán John Fremont y sus voluntarios de la bandera del OsoLiterature Literature
How far do such pressures also operate in the case of semantic change?
El Continental Algo que tû entiendesLiterature Literature
275 sinne gevind in 13 ms. Hulle kom uit baie bronne en word nie nagegaan nie.