Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
axiomatic semantics
Vertaling van "axiomatic semantics" in Spaans
semántica axiomática
semánticas axiomáticas
The mathematical techniques used include denotational semantics, axiomatic semantics, operational semantics, and abstract interpretation.
Las técnicas matemáticas utilizadas incluyen semántica formal, semántica axiomática, semántica operacional e interpretación abstracta.
To prove that a particular operational semantics for a language satisfies the logical formulas of an axiomatic semantics for that language.
Para probar que una semántica operacional particular para un lenguaje satisface las fórmulas lógicas de una semántica axiomática para ese lenguaje.
The mathematical techniques used include denotational semantics, axiomatic semantics, operational semantics, and abstract interpretation.
Las técnicas matemáticas utilizadas incluyen semántica formal, semántica axiomática, semántica operacional y interpretación abstracta.
Algebraic semantics is a form of axiomatic semantics based on algebraic laws for describing and reasoning about program semantics in a formal manner
Semánticas algebraicas: Es una forma de semántica axiomática basada en leyes algebraicas para describir y sacar conclusiones acerca de programas semánticos en una forma formal.
For example: To prove that a particular operational semantics for a language satisfies the logical formulas of an axiomatic semantics for that language.
Por ejemplo: Para probar que una semántica operacional particular para un lenguaje satisface las fórmulas lógicas de una semántica axiomática para ese lenguaje.
Axiomatic semantics, whereby one gives meaning to phrases by describing the logical axioms that apply to them.
Semántica axiomática, a través de la cual se le da significado a las frases describiendo los axiomas lógicos que se aplican a ellas.
Axiomatic semantics define the meaning of a command in a program by describing its effect on assertions about the program state.
La semántica axiomática define el significado de un comando dentro de un programa, mediante la descripción de su efecto sobre las aserciones acerca del estado del programa.
Axiomatic semantics makes no distinction between a phrase's meaning and the logical formulas that describe it; its meaning is exactly what can be proven about it in some logic.
Las semánticas axiomáticas no hacen distinción entre un significado de una frase y las fórmulas lógicas que la describen, su significado es exactamente lo que se puede probar de ella en alguna lógica.
Algebraic semantics is a form of axiomatic semantics based on algebraic laws for describing and reasoning about program semantics in a formal manner
Semánticas algebraicas: Es una forma de semántica axiomática basada en leyes algebraicas para las sintaxis del lenguaje.
Axiomatic semantics makes no distinction between a phrase's meaning and the logical formulas that describe it; its meaning is exactly what can be proven about it in some logic.
Las semánticas axiomáticas no hacen distinción entre un significado de una frase y las fórmulas lógicas que la describen, su significado es exactamente lo que se puede probar de ella en alguna lógica.
Ga naar Premium voor toegang tot miljoenen vertaalvoorbeelden, onbeperkt woorden opslaan en leren, zonder advertenties.
Synoniemen voor axiomatic semantics in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 10. Exact: 10. Verstreken tijd: 24 ms.
