Analyse statique modulaire de langages à objets
نویسندگان
چکیده
Semantics Per aspera ad astra. 1
منابع مشابه
Intégration d'optimisations globales en compilation séparée des langages à objets
Mainly used compilers are based on separate compilation, whereas optimizations of object-oriented programs mostly need a complete knowledge of the whole program. This is especially the case for type analysis and late binding implementations. Both approaches have pros and cons. Therefore, this paper proposes an integration of global optimizations in a separate compilation framework. The code gen...
متن کاملLAMP : vers un langage de définition de mécanismes de protection pour les langages de programmation à objets
RÉSUMÉ. L’encapsulation et la modularité jouent un grand rôle dans le succès des langages à objets. Ces notions s’accompagnent naturellement de mécanismes de protection, souvent particulièrement complexes, qui définissent ou limitent l’accès à certaines entités décrites par les langages telles les objets, les méthodes, les classes. . . L’objectif de cet article est de proposer un langage simple...
متن کاملPrévention du déréférencement de références nulles dans un langage à objets
Résumé. Le déréférencement de références nulles est une erreur de programmation courante dans les langages à objets. Pour la prévenir, certaines approches garantissent statiquement son absence à l’aide de systèmes de types ou d’annotations mais réduisent l’expressivité du langage. D’autres approches analysent plutôt le code source pour identifier les erreurs potentielles, mais peuvent trouver d...
متن کاملRaffinement de classes dans les langages à objets statiquement typés
RÉSUMÉ. Les classes et la spécialisation apportent simultanément structuration et souplesse aux programmes objets. Ces deux qualités sont, malgré tout, souvent considérées comme insuffisantes, comme en témoignent les nombreuses propositions d’extension du modèle (aspects, modules, etc.). Cet article propose deux notions couplées de raffinement de classes et de modules, la première apportant la ...
متن کاملVers un modèle du raisonnement dans les langages à objets
Résumé Ce papier est une proposition de modèle du raisonnement dans les langages hybrides, intégrant un langage de programmation par objets avec des règles de production. Nous proposons de différencier entre deux catégories d'objets, les objet du monde perçu et ceux du monde conçu. Le raisonnement est alors considéré comme un processus qui crée ou modifie le monde conçu à partir d'observations ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2010