Votre rechercheLangages de programmation -- Sémantique

Les langages permettent la communication. La sémantique définit la manière d'interpréter les énoncés des langages pour leur attribuer un sens. Cette description très générale s'applique et est

Dans cette vidéo, Gilles Dowek fait un cours introductif, à destination des Professeurs des Lycées, de la Science Informatique (et de ses quatre piliers: Algorithme, Langage, Machine, Information)

Dans son plan national pour la science ouverte du 4 juillet 2018, la France s’est engagée à développer l’accès ouvert aux données de la recherche (science ouverte). Le modèle RDF correspond au plus

Modern programming languages such as Java, Scala, and Rust are examples of concurrent higher-order imperative programming languages.

La collecte de données du web sémantique, qui sont formalisées selon le modèle RDF, nécessite l’élaboration de requêtes dans le langage dédié SPARQL. Ce langage, qui est aux données du web sémantique

Journée d’étude : "Cerveau et Langage", présentée par Jacques FRANCOIS (Université de Caen) et Jean-Luc NESPOULOUS (Toulouse 2 & I.U.F.)  Date : le jeudi 11 décembre 2014, de 9 h à 18

The aim of this paper is to offer a semantic-pragmatic account of the postmodal uses of should and would. Arguably, should and would are related to the postmodal domain in so far as both modal

In recent years, concurrent Kleene algebra (CKA), an extension of Kleene Algebra (KA) that includes concurrent composition as a first-class citizen, has been proposed by Hoare et al. as a setting to

Professeur d’université à la retraite, Andrée TABOURET-KELLER est responsable du séminaire "Epistémologie critique et comparative" qui se déroule à la Fondation Maison des Sciences de l'Homme à Paris

Récupération de la capacité à dénommer des actions dans l'aphasie chronique : étude de la plasticité induite par une thérapie sémantique auprès de trois participants / Édith Durand. In "Perspectives

Journée d’étude : "Cerveau et Langage", présentée par Jacques FRANCOIS (Université de Caen) et Jean-Luc NESPOULOUS (Toulouse 2 et I.U.F.)