Minfo03
Start of topic | Skip to actions
(Ro1) Intégration du langage SpécialK à l'environnement de programmation DrScheme.
Cette page est le point d'entrée sur le travail du TER, et est nommé de manière canonique pour ne se baser sur aucun nom de projet. On pourra ainsi s'y référer pour la durée du semestre de manière constante. Étant donné que le semestre est terminé, avec notre séjour a l'UNSA, nous allons rapidement délocaliser cette page sur une adresse independante et plus durable. La nouvelle adresse est: http://www.nongnu.org/specialk/ avec la page de projet Savannah associée http://savannah.nongnu.org/projects/specialk/
| |||||
Liens
| Dernier snapshot de SpécialK | specialk.tar.gz |
|---|---|
| Installateur, dernière version | specialk.plt |
| Documentation française (PDF) | specialk-fr.pdf |
| Documentation française (PLT) | specialk-fr-doc.plt |
| Bug Reports | beuc.dyndns.org/bugs/?group=specialk |
make specialk-fr.pdf, make specialk-fr.html, make specialk-fr.ps et make specialk-fr-doc.plt.
Notation
Le projet s'est vu décerner un 14/20 un brin décevant (la meilleure note étant 15.5/20).- Version livrée: http://deptinfo.unice.fr/twiki/pub//Minfo/PageDeDepotDesLivrablesDuTER/TER_Ro1.tar.gz
- Rapport final: http://deptinfo.unice.fr/twiki/pub//Minfo/PageDeDepotDesLivrablesDuTER/Rapport_TER_Ro1.pdf
- SpecialK: description du langage SpecialK
- DrK: l'aspect DrScheme de la chose, par rapport à la définition du langage
- Un Plan? du site
- La prescription de P(r).Collet: OrdonnanceCollet
- PagePersoCyrilRodas
- PagePersoSylvainBeucler
- PagePersoPierreChatel
- PagePersoJulienCharles
- Le comité de normalisation du langage: SpekNo
- IntegrationDrScheme
|
|
Sujet original
| Nb etus | 3 ou 4 |
|---|---|
| Responsable(s) | Jean-Paul ROY roy@uniceNoSpaM.fr |
| Lieu | Dept. Informatique, Valrose |
| Environnement | Le logiciel doit pouvoir fonctionner sous Windows, Linux et MacOS-X. |
| Pré-requis | Pratique approfondie du langage Scheme. |
| Contexte | Le logiciel doit pouvoir être utilisé en TP Algo dès la rentrée 2004 |
| Objectifs | Il s'agit d'intégrer le langage KAPPA [Docs.Kappa is A Programming Protocol for Algorithms] à l'environnement de programmation DrScheme. KAPPA est un langage à base de règles utilisé en particulier par Emmanuel Kounalis dans ses cours d'Algorithmique à la Faculté des Sciences de Nice Sophia-Antipolis. Un étudiant de MI2 ou de Licence ne connaissant pas le langage Scheme pourra décrire de manière quasi-fonctionnelle un algorithme sur des structures de données classiques [nombres, vecteurs, listes, arbres, graphes, etc] en rédigeant un ensemble de règles de réécriture. Il pourra ensuite tester ses algorithmes à l'aide d'un toplevel, de manière interactive. Un certain nombre d'outils supplémentaires [visualisation graphique, chronomètre, pas à pas] seront à sa disposition pour enjoliver l'exécution ou mettre au point son programme. |
| Existant | Le projet K réalisé en Java l'an passé. Les langages expérimentaux de DrScheme. |
| Description du travail | * Ecrire un traducteur de KAPPA vers Scheme [règles, nombres exacts et inexacts, listes, tableaux] avec les outils Lex et Yacc de DrScheme. Le style de traduction [ensemble de fonctions Scheme ou base de règles] comme l'élimination du pattern-matching est laissé à l'appréciation de l'équipe. On visera néammoins l'efficacité à l'exécution. * Intégrer KAPPA dans PLT DrScheme [soit comme "langage expérimental" soit via une interface graphique ad-hoc avec son propre IDE] et le proposer à une large diffusion par l'équipe PLT. Ceci suppose une qualité du produit final. On étudiera les possibilités de mélanger du code KAPPA et du code Scheme. On pourra, si le temps le permet, envisager une compilation vers C. |
| Références | les cours d'algorithmique d'E. Kounalis. L'environnement PLT DrScheme comprend déjà un certain nombre de langages expérimentaux traduits en Scheme, plus ou moins bien couplés avec DrScheme : Algol-60, Caml [dromedary], Java [ProfessorJ] et récemment Python [http://spyweb.hopto.org qui montre à peu près ce que l'on souhaite]. Ne pas hésiter à entrer en contact avec les auteurs de ces langages expérimentaux. |
Présoutenance
Rapport de présoutenance: presoutenance.pdfLes transparents de la présoutenance: slides.pdf
to top
| I | Attachment   | Action | Size | Date | Who | Comment |
|---|---|---|---|---|---|---|
 | sujet_JPR_Kappa.pdf | manage | 3.2 K | 17 Feb 2004 - 07:53 | SylvainBeucler | La même chose, en PDF |
 | specialk_hide.png | manage | 0.1 K | 29 May 2004 - 11:00 | SylvainBeucler | |
| | specialk.png | manage | 3.1 K | 29 May 2004 - 11:10 | SylvainBeucler | |
| | slides.pdf | manage | 354.3 K | 08 May 2004 - 16:36 | PierreChatel | Les transparents de la présoutenance |
| | ro1_presoutenance.pdf | manage | 362.7 K | 14 Apr 2004 - 16:01 | SylvainBeucler | Rapport de présoutenance |
| | figure1.jpg | manage | 119.7 K | 11 Jun 2004 - 09:52 | PierreChatel | |
| | figure1-270504.jpg | manage | 105.8 K | 27 May 2004 - 09:11 | PierreChatel |
Edit | Attach image or document | Printable version | Raw text | More topic actions
Revisions: | r1.48 | > | r1.47 | > | r1.46 | Total page history | Backlinks
Revisions: | r1.48 | > | r1.47 | > | r1.46 | Total page history | Backlinks
Minfo.TerRo1 moved from Docs.TerRo1 on 01 Mar 2004 - 18:42 by JulienCharles