determination of numbers of critical path method calls in an object language application
détermination de nombres d'appels de méthode critique dans une application en langage objet
The language used to make statements about an object language is called a metalanguage.
Le langage utilisé pour faire des déclarations au sujet d'un langage objet est appelé un métalangage.
In these contexts an interpretation is a function that provides the extension of symbols and strings of symbols of an object language.
Dans ces contextes, une interprétation est une fonction qui fournit l'extension des symboles et des chaînes de symboles d'un langage-objet.
Isn't the distinction between object language and meta-language actually a bit utopian in the natural languages, since it assumes that the terms completely lose their reflexivity?
La distinction entre langage objet et métalangage n'est-elle pas à proprement parler utopique dans les langues naturelles, puisqu'elle suppose que les termes perdent toute réflexivité ?
In logic, a metavariable (also metalinguistic variable or syntactical variable) is a symbol or symbol string which belongs to a metalanguage and stands for elements of some object language.
En logique, une métavariable (aussi nommée variable métalinguistique ou encore variable syntaxique) est un symbole ou une chaîne de symboles qui appartient à un métalangage et représente des éléments d'un certain langage objet.
To formulate linguistic theories without semantic paradoxes such as the liar paradox, it is generally necessary to distinguish the language that one is talking about (the object language) from the language that one is using to do the talking (the metalanguage).
Pour formuler des théories linguistiques sans paradoxe sémantique, comme le paradoxe du menteur, il est généralement nécessaire de distinguer le langage que l'on parle (le langage objet) du langage que l'on utilise pour discuter (le métalangage).
Taking into account the level of language -object language and metalanguage- allow skirting interns contradictions and establishing the logic consistence of the formal system.
La prise en compte des niveaux de langage -Langage objet et métalangage- permet de contourner les contradictions internes et établit donc la consistance logique du système formel.
By creating widget objects that are dynamic in their behavior, as defined by the SGML object language, the resultant display presentation is responsive to the user's input to the system.
Grâce à la création des objets fenêtres à comportement dynamique, tels que définis par le langage objet SGML, la présentation affichée qui en résulte répond à l'entrée effectuée par un utilisateur dans le système.
For their execution, we propose a translation into the object language JAVA.
Pour leur exécution, nous proposons une traduction vers le langage objet JAVA.
We implemented it on top of the object language of the GUIDE distributed system.
Nous en avons réalisé une implantation au-dessus du langage objet du système distribué GUIDE.
According to Graham Priest, "the whole point of the dialetheic solution to the semantic paradoxes is to get rid of the distinction between object language and meta-language".
Selon Graham Priest, "la solution dialéthéique aux paradoxes sémantiques a pour but de supprimer la distinction entre langage objet et méta-langage".
As we are not in an object language, we cannot write root.setAttributeNS(...); we pass the object as first parameter of the procedure.
Comme nous ne sommes pas dans un langage objet, nous ne pouvons pas écrire root.setAttributeNS(...); nous passons l'objet comme premier paramètre de la procédure.