Cette étude vise à éclairer la nature de l’activité jugement des inspecteurs d’académie, pédagogiques régionaux déployée au sein entretiens d’inspection individuelle enseignants expérimentés du second degré pour identifier les conditions développement professionnels dans ce contexte. Inscrite un programme recherche technologique anthropoculturel, cette mobilise cadre théorique pluriel : philoso...

Automatic parallelization of C language programs is a subject rarely addressed: this can be explained by the diiculties inherent to the language, such as side eeects within expressions or access to memory via pointers. The method we describe here is based on a semantic analysis of programs. The goal is to detect parallelism in complex programs using pointer arithmetic, thanks to the type system...

The ReLaCS language is a systolic programming language, which simpliies the programmer's task by making explicit the data-ow of systolic algorithms, and by exposing the data delivery mechanism. The underlying architecture model is diierent from other SIMD architectures in that it physically separates computation and data management. We introduce the ReLaCS language as a syntaxic and a semantic ...

This paper demonstrates a method of extracting programs from formal deductions represented in the Edinburgh Logical Framework, using the Elf programming language. Deductive systems are given for the extraction of simple types from formulas of rst-order arithmetic and of-calculus terms from natural deduction proofs. These systems are easily encoded in Elf, yielding an implementation of extractio...