Aspects de la Programmation d'Applications Win32 avec un Langage Fonctionnel

نویسندگان

  • Riccardo Pucella
  • Erik Meijer
  • Dino Oliva
چکیده

Un langage de programmation qui se veut utile doit être capable d’exprimer des programmes qui profitent des services et des mécanismes de communication supportés par le système d’exploitation. Nous examinons dans cet article le problème de la programmation d’applications Win32 dites “natives” sous le système d’exploitation Windows avec le langage fonctionnel Standard ML. Nous introduisons une infrastructure basée sur le langage d’interfaces IDL et sur une interface aux fonctions étrangères minimaliste pour explorer le support de l’API Win32 et de la technologie COM dans le contexte de Standard ML.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Un Caml Light Distribué

Résumé. Dans cet article nous proposons une extension du langage fonctionnel Caml Light appelé ACCL (pour A Concurrent Caml Light) dont le but est de combiner les paradigmes de programmation impérative, fonctionnelle, de concurrence et de distribution dans un seul langage de programmation. Pour l’extension concurrente de Caml Light nous proposons quelques primitives avec une sémantique très sim...

متن کامل

ReactiveML, un langage fonctionnel pour la programmation réactive

RÉSUMÉ. La programmation de systèmes réactifs tels que les simulateurs de systèmes dynamiques ou les jeux vidéo est une tâche difficile. Les techniques classiques pour programmer ces systèmes sont fondées sur l’utilisation de bibliothèques de threads ou de programmation événementielle. Nous introduisons ici le langage REACTIVEML comme une alternative à ces pratiques. Le langage est une extensio...

متن کامل

Représentation et manipulation de structures topologiques dans un langage fonctionnel

RÉSUMÉ. Le calcul spatial est un domaine de recherche qui vise à développer des formalismes, des langages et des architectures matérielles qui permettent d’appréhender la notion d’espace en informatique. Nous présentons MGS, un langage de programmation déclaratif dédié à la représentation et à la manipulation de structures spatiales arbitrairement complexes. Afin d’atteindre ce but, nous avons ...

متن کامل

Dynamic Slicing: a generic analysis based on a natural semantics format

Slicing analyses have been proposed for diierent programming languages. Rather than deening a new analysis from scratch for each programming language, we would like to specify such an analysis once for all, in a language-independent way, and then specialise it for diierent programming languages. In order to achieve this goal, we propose a notion of natural semantics format and a dynamic slicing...

متن کامل

Programmation par contraintes avec des fourmis

On explore dans cet article les possibilités d’intégration de la métaheuristique d’optimisation par colonies de fourmis (ACO) dans un langage de programmation par contraintes (PPC). L’idée est d’utiliser un langage de PPC pour décrire le problème à résoudre, ainsi que pour propager et vérifier les contraintes, et d’utiliser ACO pour guider la recherche de solutions. On illustre notre approche s...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • CoRR

دوره cs.PL/0405082  شماره 

صفحات  -

تاریخ انتشار 2004