Search by property

This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.

List of results

• Seminar/2009-04-22  + (Lisaac est un petit langage basé sur la te … Lisaac est un petit langage basé sur la technologie objet à base de</br>prototype. Plus flexible que l'objet à base de classe, elle permet un</br>dynamisme et un degré d'expressivité encore inégalés. Lisaac est</br>inspiré du langage Self pour les concepts d'objets à prototypes et du</br>langage Eiffel, pour les aspects d'ingénierie logicielle et notamment</br>pour la programmation par contrat. Enfin, l'objectif étant de</br>réaliser de la programmation de bas niveau à l'aide d'un langage de</br>haut niveau, un ensemble de concepts utiles à la programmation système</br>a été ajouté.</br></br>Le langage Lisaac utilise un nombre particulièrement restreint</br>d'idiomes orthogonaux rendant difficile l'élaboration d'un compilateur</br>efficace. Son compilateur en fait aujourd'hui l'unique langage à</br>prototype compilé. Les performances atteintes sont proche des</br>compilateurs C, voire même au-delà...</br></br>Pour étayer, approfondir et illustrer nos propos, nous ferons un</br>rapide tour d'horizon du développement du système d'exploitation</br>IsaacOS entièrement écrit en Lisaac. </br></br>Durant cet exposé, nous aborderons les thèmes suivants: concept à</br>prototype versus concept à classe; héritage multiple et dynamique et</br>autres particuliarité du Lisaac; technique de compilation et résultat</br>de performance; validation des concepts avec une brève présentation du</br>système d'exploitation IsaacOS.ntation du système d'exploitation IsaacOS.)

• Seminar/2009-04-22  + (SmartEiffel, également connu sous le nom d … SmartEiffel, également connu sous le nom de GNU Eiffel, est à la fois</br>un langage et un ensemble d'outils de compilations, de documentation et</br>de validation.</br></br>Le langage SmartEiffel vise à favoriser la mise en pratique des</br>principales exigences liées au développement d'un gros logiciel par</br>une grande équipe. En plus d'exigences en terme de qualité, de</br>sécurité et de documentation, la définition de SmartEiffel est</br>également soucieuse de l'efficacité du programme à l'exécution. Ainsi,</br>le modèle des objets qui est à la base du langage intègre également</br>les types les plus élémentaires sans surcoût potentiel à l'exécution.</br>Pour sa part, le mécanisme de programmation par contrats qui est</br>essentiel en matière de documentation est également un bon moyen de</br>rechercher les meilleures performances à l'exécution.</br></br>Durant cet exposé, la visite guidée du langage présentera le modèle</br>d'objets, la programmation par contrats, la double forme d'héritage</br>multiple ainsi que le mécanisme des agents.ultiple ainsi que le mécanisme des agents.)