Chez Fred

Chez Fred

liens externes : Affecte Reunion Frederic.Mesnard [at] univ-reunion.fr DMI IREMIA plan universite de la Reunion Rene Cassin http://validator.w3.org/check?uri=referer
liens internes :
Enseignement
- liens externes : Master sciences et technologies, mention informatique et mathematiques contenu CROUS M1 STIC M2 STIC M1 master informatique STIC Etienne Payet Jean-Christophe Soulie Magali Contensin Etienne Payet Fred Mesnard http://validator.w3.org/check?uri=referer
- liens internes :
  Logique
  - liens externes : Jean Diatta Fred Mesnard cours TD1 TD2 TD3 OTTER doc Prover9 doc Fred Mesnard http://validator.w3.org/check?uri=referer
  - liens internes :
  Prolog
  - liens externes : Notes de cours Jacques Tisseau SWI-Prolog Resume Pldoc Plunit cTI TCLP ECCE 99 Definite Clause Deduction SICStus Prolog PDF Galileo 360° Fares reference machines IBM Linux/Intel PDC application Fred Mesnard http://validator.w3.org/check?uri=referer
  - liens internes :
    Free Stuff for Programming in Prolog
    - liens externes : CIAO LPdoc SWI-Prolog PlDoc manual source highlight source-highlight Learn Prolog Now! P-99 - Ninety-Nine Prolog Problems Adventure in Prolog An Introduction to Logic Programming through Prolog Logic, Programming and Prolog Logic for Problem Solving The First 10 Prolog Programming Contests Coding Guidelines Prolog Dictionary Blip FSA6 a Public Domain Library ProNTo Logtalk. LPTP system.pl AProVE cTI/nTI TALP TermiLog TerminWeb FAQ newsgroup Ciao Prolog Eclipse GNU Prolog SWI-Prolog XSB YAP CHR Mercury ECCE CLPGUI Definite Clause Deduction, GUPU TCLP SWI-Prolog PlUnit Pillow SWI-Prolog SGML/ML package XML.pl SWI-Prolog HTTP support SWI-Prolog SSL Interface SWI-Prolog RDF parser SWI-Prolog/XPCE Semantic Web Library Triple20 Fred Mesnard http://validator.w3.org/check?uri=referer
    - liens internes :
    Prolog - TDP 1 - Genealogie
    - liens externes : Fred Mesnard http://validator.w3.org/check?uri=referer
    - liens internes :
    Prolog - TDP 2 - Peano
    - liens externes : Fred Mesnard http://validator.w3.org/check?uri=referer
    - liens internes :
    Prolog - TDP 3 - Listes
    - liens externes : Fred Mesnard http://validator.w3.org/check?uri=referer
    - liens internes :
    Prolog - TDP 4 - Tris de listes de nombres
    - liens externes : Fred Mesnard http://validator.w3.org/check?uri=referer
    - liens internes :
    Prolog - TDP 5 - Casse-tetes
    - liens externes : Fred Mesnard http://validator.w3.org/check?uri=referer
    - liens internes :
    Prolog - TDP 6 - Programmation logique avec contraintes
    - liens externes : http://gollem.science.uva.nl/SWI-Prolog/Manual/clpqr.html http://gollem.science.uva.nl/SWI-Prolog/Manual/clpbounds.html fiche Fred Mesnard http://validator.w3.org/check?uri=referer
    - liens internes :
  Introduction aux technologies XML
  - liens externes : http://www.brics.dk/ixwt/cover.png An Introduction to XML and Web Technologies Anders Møller Michael I. Schwartzbach cours cours cours cours chapitre cours Cours de XML Cours sur le langage XML http://validator.w3.org/check?uri=referer
  - liens internes :
    ITX1
    - liens externes : Google IBM Microsoft W3C page tutorial exemple document ressources en ligne traductions en francais http://validator.w3.org/check?uri=referer
    - liens internes :
    Intro XML
    - liens externes : Magali Contensin XML http://validator.w3.org/check?uri=referer
    - liens internes :
    ITX2
    - liens externes : document XML representation graphique recette de ravioli recueil de recettes page Tidy document note ressources en ligne http://validator.w3.org/check?uri=referer
    - liens internes :
    ITX3
    - liens externes : document recueil ressources en ligne http://validator.w3.org/check?uri=referer
    - liens internes :
    Intro schemas XML
    - liens externes : Fabien Torre intro structure types hierarchie des types predefinis fiche http://validator.w3.org/check?uri=referer
    - liens internes :
    ITX4
    - liens externes : recueil DTD DTD 1 2 3 4 5 DTD catalogue recueil schema XML fichier DTD DTD ressources en ligne http://validator.w3.org/check?uri=referer
    - liens internes :
    Intro XSLT
    - liens externes : Fabien Torre XSLT 1.0 XSLT 2.0 http://validator.w3.org/check?uri=referer
    - liens internes :
    ITX5
    - liens externes : ici TextXSLT Saxon oXygen ici xsltproc page de ce type page de ce type DTD ressources en ligne http://validator.w3.org/check?uri=referer
    - liens internes :
      Index of /~fred/Enseignement/XML/data
      - liens externes : Name Last modified Size Description films.xml mt.dtd mt1.jpeg mt2.jpeg mt3.jpeg mt4.jpeg mt5.jpeg recipes.dtd store.dtd students-p24-2.pdf students-p24-3.pdf students-p24.xsl students-p26.xsl students-p27.xsl students-p30.xsl students-p31.xsl students-p33.xsl students.xml tv.css tv.xml
      - liens internes :
  Fondements de l'informatique
  - liens externes : page Programme PDF resume Graphviz textuelle SVG PNG Fred Mesnard http://validator.w3.org/check?uri=referer
  - liens internes :
    Fiche Ackermann
    - liens externes :
    - liens internes :
    Fiche d'exercices CC 1
    - liens externes :
    - liens internes :
    Fiche d'exercices CC 2
    - liens externes :
    - liens internes :
    Fiche d'exercices CC 3
    - liens externes :
    - liens internes :
    Fiche d'exercices CC 4
    - liens externes :
    - liens internes :
    Fiche d'exercices CC 5
    - liens externes :
    - liens internes :
    Fiche d'exercices CC 6
    - liens externes :
    - liens internes :
  Introduction au Web Semantique
  - liens externes : http://www.ics.forth.gr/isl/swprimer/ A Semantic Web Primer Grigoris Antoniou Frank van Harmelen W3C Semantic Web Activity Semantic Web Education and Outreach Interest Group Artificial Intelligence and the Semantic Web Tim Berners-Lee presentations Ivan Herman Fred Mesnard http://validator.w3.org/check?uri=referer
  - liens internes :
  informatique
  - liens externes :
  - liens internes :
  Cours de Scheme
  - liens externes : Debuter la programmation avec Scheme Dr Scheme http://validator.w3.org/check?uri=referer
  - liens internes :
    No Title
    - liens externes : 1. Expressions 2. La syntaxe de Scheme 2.1 Les expressions atomiques 2.2 Les expressions composees 3. Évaluation des expressions 3.1 Les constantes 3.2 Les symboles 3.2.1 Definition de variables 3.2.2 Évaluation 3.3 Les expressions composees 3.4 Blocage de l'evaluation 4. Les fonctions 4.1 Notion de type node3.html#SECTION03011100000000000000 node3.html#SECTION03011200000000000000 node3.html#SECTION03011300000000000000 node3.html#SECTION03011400000000000000 node3.html#SECTION03011500000000000000 4.2 Specification d'une fonction 4.3 Representation d'une fonction 4.4 Évaluation de l'appel d'une lambda-expression 4.5 Nomage d'une lambda-expression 5. Definition, evaluation et environnement 5.1 Definition d'un environnement local node3.html#SECTION03022000000000000000 node3.html#SECTION03023000000000000000 5.4 Definition locale de fonction 6. Structures de contrôle conditionnelles 6.1 Predicats 6.2 Operateurs booleens 6.3 Expressions conditionnelles node3.html#SECTION03033100000000000000 node3.html#SECTION03033200000000000000 7. Paires pointees et listes node4.html#SECTION04011000000000000000 node4.html#SECTION04012000000000000000 7.3 Liens entre les paires pointees et les listes 7.4 Representation graphique des listes : 8. Recursivite et recurrence 8.1 Un exemple en mathematiques 8.2 Traduction en scheme 9. Fonction recursives 9.1 Questions a se poser avant d'ecrire une fonction recursive : 9.2 Fonctions recursives sur les listes 9.3 Verifications minimum a faire lorsqu'on ecrit une fonction recursive 10. Un exemple de comparaison d'algorithmes 10.1 Une premiere version 10.2 Une autre version 10.3 Comparons l'execution des deux fonctions 11. Notation pour la complexite 12. Un exemple de recursivite quadratique 13. Un exemple de recursivite arborescente 14. Types abstraits de donnees 14.1 Comment definit-on un TAD ? 14.2 Utilisation d'un TAD 14.3 Un exemple : le TAD doublet 14.4 Deux TAD classiques : les piles et les files 14.4.1 Les piles d'entiers 14.4.2 Les files d'entiers 15. Des fonctions en arguments 15.1 Exemples 15.2 Abstraction node8.html#SECTION08013000000000000000 16. Des fonctions comme resultat 17. Principe general 18. Étude d'un cas 18.1 Preuve de l'arrêt 18.2 Preuve de la correction 19. Indecidabilite du probleme de l'arrêt
    - liens internes :
      Introduction
      - liens externes :
      - liens internes :
        Syntaxe et expressions
        
        liens externes : 1. Expressions 2. La syntaxe de Scheme 2.1 Les expressions atomiques 2.2 Les expressions composees 3. Évaluation des expressions 3.1 Les constantes 3.2 Les symboles 3.2.1 Definition de variables 3.2.2 Évaluation 3.3 Les expressions composees 3.4 Blocage de l'evaluation
        
        liens internes :
        Fonctions - Environnements
        
        liens externes : 4. Les fonctions 4.1 Notion de type node3.html#SECTION03011100000000000000 node3.html#SECTION03011200000000000000 node3.html#SECTION03011300000000000000 node3.html#SECTION03011400000000000000 node3.html#SECTION03011500000000000000 4.2 Specification d'une fonction 4.3 Representation d'une fonction 4.4 Évaluation de l'appel d'une lambda-expression 4.5 Nomage d'une lambda-expression 5. Definition, evaluation et environnement 5.1 Definition d'un environnement local node3.html#SECTION03022000000000000000 node3.html#SECTION03023000000000000000 5.4 Definition locale de fonction 6. Structures de contrôle conditionnelles 6.1 Predicats 6.2 Operateurs booleens 6.3 Expressions conditionnelles node3.html#SECTION03033100000000000000 node3.html#SECTION03033200000000000000
        
        liens internes :
        Les listes
        
        liens externes : 7. Paires pointees et listes node4.html#SECTION04011000000000000000 node4.html#SECTION04012000000000000000 7.3 Liens entre les paires pointees et les listes 7.4 Representation graphique des listes :
        
        liens internes :
        Récursivité
        
        liens externes : 8. Recursivite et recurrence 8.1 Un exemple en mathematiques 8.2 Traduction en scheme 9. Fonction recursives 9.1 Questions a se poser avant d'ecrire une fonction recursive : 9.2 Fonctions recursives sur les listes 9.3 Verifications minimum a faire lorsqu'on ecrit une fonction recursive
        
        liens internes :
        Notion de complexité
        
        liens externes : 10. Un exemple de comparaison d'algorithmes 10.1 Une premiere version 10.2 Une autre version 10.3 Comparons l'execution des deux fonctions 11. Notation pour la complexite 12. Un exemple de recursivite quadratique 13. Un exemple de recursivite arborescente
        
        liens internes :
        Abstraction des données
        
        liens externes : 14. Types abstraits de donnees 14.1 Comment definit-on un TAD ? 14.2 Utilisation d'un TAD 14.3 Un exemple : le TAD doublet 14.4 Deux TAD classiques : les piles et les files 14.4.1 Les piles d'entiers 14.4.2 Les files d'entiers
        
        liens internes :
        Programmation d'ordre supérieur
        
        liens externes : 15. Des fonctions en arguments 15.1 Exemples 15.2 Abstraction node8.html#SECTION08013000000000000000 16. Des fonctions comme resultat
        
        liens internes :
        Preuves de programme
        
        liens externes : 17. Principe general 18. Étude d'un cas 18.1 Preuve de l'arrêt 18.2 Preuve de la correction 19. Indecidabilite du probleme de l'arrêt
        
        liens internes :
        Annexe
        
        liens externes :
        
        liens internes :
    TD et TP de scheme 1999-2000
    - liens externes : La programmation : une approche fonctionnelle et recursive avec Scheme Debuter la programmation avec Scheme ps pdf ps pdf ps pdf ps pdf ps pdf ps pdf ps pdf ps pdf ps pdf ps pdf ps pdf ps pdf ps pdf ps pdf ps pdf ps pdf pack-graph.sc ps pdf ps pdf
    - liens internes :
      No Title
      - liens externes :
      - liens internes :
      No Title
      - liens externes :
      - liens internes :
      No Title
      - liens externes :
      - liens internes :
      No Title
      - liens externes :
      - liens internes :
      No Title
      - liens externes :
      - liens internes :
      No Title
      - liens externes :
      - liens internes :
      No Title
      - liens externes :
      - liens internes :
      No Title
      - liens externes :
      - liens internes :
      No Title
      - liens externes :
      - liens internes :
      No Title
      - liens externes :
      - liens internes :
      No Title
      - liens externes :
      - liens internes :
      No Title
      - liens externes :
      - liens internes :
      No Title
      - liens externes :
      - liens internes :
      No Title
      - liens externes :
      - liens internes :
      No Title
      - liens externes :
      - liens internes :
      No Title
      - liens externes :
      - liens internes :
      No Title
      - liens externes :
      - liens internes :
      No Title
      - liens externes :
      - liens internes :
    Corriges
    - liens externes : ps pdf ps pdf ps pdf ps pdf ps pdf ps pdf ps pdf ps pdf ps pdf ps pdf ps pdf ps pdf ps pdf ps pdf ps pdf ps pdf ps pdf ps pdf http://validator.w3.org/check?uri=referer
    - liens internes :
    Annales
    - liens externes : PS PDF PS PDF PS PDF PS PDF PS PDF PS PDF PS PDF PS PDF PS PDF PS PDF PS PDF PS PDF PS PDF PS PDF corr-Tsept2000.pdf
    - liens internes :
  UE10 Info4
  - liens externes : Jean-Christophe Soulie Frederic Mesnard http://validator.w3.org/check?uri=referer
  - liens internes :
    Pascal avance
    - liens externes : MacLib : une bibliotheque graphique pour Mac Frederic Mesnard http://validator.w3.org/check?uri=referer
    - liens internes :
      Complexite des algorithmes
      - liens externes : 3 7 http://www-dsed.llnl.gov/files/programs/unix/latex2html/manual/ Nikos Drakos
      - liens internes :
      Elements de methodologie de programmation
      - liens externes : http://www-dsed.llnl.gov/files/programs/unix/latex2html/manual/ Nikos Drakos
      - liens internes :
      files.html
      - liens externes : http://www-dsed.llnl.gov/files/programs/unix/latex2html/manual/ Nikos Drakos
      - liens internes :
      pointeurs.html
      - liens externes : http://www-dsed.llnl.gov/files/programs/unix/latex2html/manual/ Nikos Drakos
      - liens internes :
      Le type de donnees LISTE
      - liens externes :
      - liens internes :
      TDAO1 : echauffements
      - liens externes : http://www-dsed.llnl.gov/files/programs/unix/latex2html/manual/ Nikos Drakos
      - liens internes :
      TDAO2 : les fichiers
      - liens externes : http://www-dsed.llnl.gov/files/programs/unix/latex2html/manual/ Nikos Drakos
      - liens internes :
      TDAO3-4 : pointeurs, implantations des listes, modules
      - liens externes : http://www-dsed.llnl.gov/files/programs/unix/latex2html/manual/ Nikos Drakos
      - liens internes :
      Projet Pascal
      - liens externes : http://www-dsed.llnl.gov/files/programs/unix/latex2html/manual/ Nikos Drakos
      - liens internes :
      Projet Pascal : Programmation du jeu du morpion
      - liens externes : http://www-dsed.llnl.gov/files/programs/unix/latex2html/manual/ Nikos Drakos
      - liens internes :
      No Title
      - liens externes : http://www-dsed.llnl.gov/files/programs/unix/latex2html/manual/ Nikos Drakos
      - liens internes :
      exo12
      - liens externes :
      - liens internes :
        About this document ...
        
        liens externes : http://www.latex2html.org/ Nikos Drakos Ross Moore exo12.tex
        
        liens internes :
      exo45
      - liens externes :
      - liens internes :
        About this document ...
        
        liens externes : http://www.latex2html.org/ Nikos Drakos Ross Moore exo45.tex
        
        liens internes :
    Robowar
    - liens externes : Le site Robowar Frederic Mesnard
    - liens internes :
      Tdao 1
      - liens externes :
      - liens internes :
      Tdao 2
      - liens externes :
      - liens internes :
      Projet Robowar
      - liens externes :
      - liens internes :
  HTML & JavaScript
  - liens externes : site TDP1 TDP2 TDP3 TDP4 TDP5 TDP6 projet http://validator.w3.org/check?uri=referer
  - liens internes :
  Intro XML
  - liens externes : Magali Contensin XML http://validator.w3.org/check?uri=referer
  - liens internes :
Research
- liens externes : DBLP Michael Ley papers GCC first here prototypes web interface AFPC ALP JFPLC'01 JFPLC'02 JFPLC'03 WLPE'03 WST'04 JFPLC'04 proceedings cover JNPC'04 WLPE'04 JFPC'05 LOPSTR'05 WLPE'05 JFPC'06 WLPE'06 LOPSTR'06 CSTVA'06 Roberto Bagnara PPL Ulrich Neumerkel GUPU Alexander Serebrenik Fausto Spoto Julia Fred Mesnard http://validator.w3.org/check?uri=referer
- liens internes :
  VLP'99
  - liens externes : J.G.Smaus@ukc.ac.uk http://www.cs.ukc.ac.uk/people/staff/jgs5/workshop99/ http://www.cs.nmsu.edu/
  - liens internes :