A system memory (11) for a reduction processor which evaluates programs stored as binary graphs employing variable-free applicative language codes.
Une mémoire de système (11) pour un processeur de réduction qui évalue les programmes stockés sous la forme de graphes binaires employant des codes de langage d'application sans variables.
Andere resultaten
The JFLA conferences aim to make designers and users of applicative languages meet in a nice place.
Les JFLA ont pour ambition de couvrir le domaine des langages applicatifs, au sens large, en réunissant les concepteurs et les utilisateurs dans un cadre sympathique.
Similar typing difficulties arise with other extensions of applicative languages: logical variables, communication channels, continuation handling.
Des difficultés de typage similaires apparaissent avec d'autres extensions des langages applicatifs: les variables logiques, la communication inter-processus à travers des canaux, et la manipulation de continuations en tant que valeurs.
The polymorphic type discipline, as in the ML language, fits well within purely applicative languages, but does not extend naturally to the main feature of algorithmic languages: in-place update of data structures.
Mais il ne s'étend pas naturellement au trait principal des langages algorithmiques: la modification en place des structures de données.
Abstract: The polymorphic type discipline, as in the ML language, fits well within purely applicative languages, but does not extend naturally to the main feature of algorithmic languages: in-place update of data structures.
Résumé : Le typage statique avec types polymorphes, comme dans le langage ML, s'adapte parfaitement aux langages purement applicatifs, leur apportant souplesse et expressivité.
In other languages, applicatives coexist with other methods of expressing said roles.
Dans d'autres langues, l'applicatif coexiste avec d'autres méthodes pour exprimer lesdits rôles.
The control knowledge (28) is encoded in an applicative and imperative language defining control actions to be executed during interruption of the built-in control procedure at specified control steps.
Les connaissances de commande (28) sont codées en un langage d'application et de commandement qui définit des actes de commande à exécuter lors de l'interruption de la procédure intégrée de commande à des étapes spécifiées de commande.
Yagua is one language that has dedicated morphology for applicative uses.
Applicative bisimulations are however known not to scale to richer languages.
Les bisimulations applicatives sont cependant connues pour ne pas être applicables à des langages plus riches.
A similar construction known as dative shift, though different from true applicatives, occurs in other languages.
Une construction similaire connue sous le nom de datif avec adposition, bien que différente des vrais applicatifs, existe dans d'autres langues.
Applicatives have a degree of overlap with causatives, and in some languages, the two are realized identically.
L'applicatif chevauche partiellement le causatif et, dans certaines langues, les deux sont exprimés de la même manière.
the method comprises the following step: writing an applicative programme in source code in a high-level language
le procédé comprend l'étape suivante:-écriture d'un programme applicatif en code source dans un langage évolué
Applicative is often found in agglutinative languages, such as the Bantu languages and Austronesian languages.
L'applicatif se trouve souvent dans les langues agglutinantes, tel que les langues bantoues and langues austronésiennes.