[Caml-list] JFLA 2003: deuxième appel à communication

[Caml-list] JFLA 2003: deuxième appel à communication

[Jean-Christophe Filliatre]

(This message is intentionally written in French)

* MERCI DE FAIRE CIRCULER * MERCI DE FAIRE CIRCULER * MERCI DE FAIRE CIRCULER *

DEUXIÈME APPEL AUX COMMUNICATIONS       DEUXIÈME APPEL AUX COMMUNICATIONS

                                   JFLA2003
               Journées Francophones des Langages Applicatifs
                        Organisées par l'INRIA

                        27 et 28  janvier 2003

JFLA'2003 est la quatorzième conférence francophone organisée autour des
langages applicatifs et les techniques de certification basées sur la
démonstration. Ces nouvelles journées se tiendront les 27 et 28
janvier 2003. Elles auront lieu à la montagne, à Chamrousse (Isère).

Les JFLA ont pour ambition de couvrir le domaine des langages
applicatifs et les techniques de certification, en réunissant
concepteurs et utilisateurs dans un cadre sympathique.

Les thèmes principaux des JFLA sont traditionnellement la théorie et
les applications pratiques des langages applicatifs; de plus, la
conférence confirme son intérêt pour les systèmes d'assistance à la
démonstration de théorèmes et l'enseignement de la programmation.

C'est pourquoi des contributions sur les thèmes suivants sont
particulièrement recherchées (liste non exclusive) :

- Langages fonctionnels : sémantique, compilation, optimisation,
  mesures, tests, extensions par d'autres paradigmes de programmation.

- Spécification, prototypage, développements formels d'algorithmes.

- Utilisation industrielle des langages fonctionnels.

- Assistants de preuve : implémentation, nouvelles tactiques,
  développements présentant un intéret technique ou méthodologique.

- Programmation applicative et enseignement de la programmation.


Orateurs invités
----------------
  Un professeur de classe préparatoire et un représentant du milieu 
  industriel viendront parler de l'utilisation de la programmation 
  fonctionnelle dans leurs domaines respectifs.

Comité de programme
-------------------
  Jean-Christophe Filliâtre, Président (Université Paris Sud)
  Yves Bertot (Inria Sophia Antipolis)
  Pierre Crégut (France Télécom R&D)
  Emmanuel Chailloux (Université Pierre et Marie Curie)
  Xavier Leroy (Inria Rocquencourt)
  Claude Marché (Université Paris Sud)
  Alexandre Miquel (Inria Rocquencourt)
  Olivier Pons (CNAM)
  Christophe Raffalli (Université de Savoie)
  Jérôme Vouillon (Université Denis Diderot)

Soumission
----------
Date limite de soumission : 1er octobre 2002

Les soumissions doivent être soit rédigées en français, soit
présentées en français. Elles sont limitées à 15 pages A4. Le style
latex est imposé et se trouve sur le site WEB des journées à l'adresse
suivante :

         http://pauillac.inria.fr/jfla/2003/actes.sty

La soumission est uniquement électronique, selon la méthode détaillée dans

         http://pauillac.inria.fr/jfla/2003/instructions-fra.html

Les soumissions sont à envoyer au président du comité de programme,
avec pour titre de votre message ``SOUMISSION JFLA'', à l'adresse
suivante :

             Jean-Christophe.Filliatre@lri.fr

Les intentions de soumission envoyées le plus tôt possible à l'adresse
ci-dessus seront les bienvenues.


Dates importantes
-----------------
1er octobre 2002 :                       Date limite de soumission 
11 novembre 2002 :                       Notification aux auteurs
09 décembre 2002 :                       Remise des articles définitifs 
27 et 28 janvier 2003 :                  Journées


Pour tout renseignement, contacter
----------------------------------
INRIA Rocquencourt
Bureau des Cours et Colloques (JFLA2003)
Domaine de Voluceau - BP 105
78153 Le Chesnay Cedex
Tél.: +33 (0) 1 39 63 50 53 - Fax : +33 (0) 1 39 63 56 38
email : symposia@inria.fr
http://pauillac.inria.fr/jfla/2003
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners

[Caml-list] module Size

[Diego Olivier Fernandez Pons]

    Bonjour,

J'étais en train d'essayer de comparer deux implémentations des arbres
bicolores, basées sur les types suivants

type 'a colour = Red | Black
type 'a tree = Empty | Node of colour * 'a tree * 'a * 'a tree

et

type 'a colour =
 | Empty
 | Red of 'a tree * 'a * 'a tree
 | Black of 'a tree * 'a * 'a tree

Seulement si le module Size de Jean-Christophe Fillatre calcule
correctement la taille de mes données, il segfaulte quand sur mes
fonctions récursives (pourtant ça marche avec la fonction de
fibonacci) 

Serait-il possible d'avoir un utilitaire pour surveiller la
consommation mémoire de nos programmes, c'est à dire :
- taille des données (fonctions, foncteurs, modules, ...)
- volume de miettes créé
- travail du ramasse-miettes (voir quand il se met en marche, combien
de mémoire il libère ...)


        Diego Olivier

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners

Re: [Caml-list] module Size

[Yann Régis-Gianas]

On Fri, Aug 23, 2002 at 10:41:29AM +0200, Diego Olivier Fernandez Pons wrote:
> Serait-il possible d'avoir un utilitaire pour surveiller la
> consommation mémoire de nos programmes, c'est à dire :
> - taille des données (fonctions, foncteurs, modules, ...)
> - volume de miettes créé
> - travail du ramasse-miettes (voir quand il se met en marche, combien
> de mémoire il libère ...)
> 

	Le module GC de la bibliothèque standard n'est pas suffisant ?

-- 
Yann Régis-Gianas.
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners

[Caml-list] Re: module Size

[Michaël Grünewald]

Diego Olivier Fernandez Pons <Diego-Olivier.FERNANDEZ-PONS@cicrp.jussieu.fr>
writes:

>     Bonjour,
> 
> J'étais en train d'essayer de comparer deux implémentations des arbres
> bicolores, basées sur les types suivants

[...]

> Serait-il possible d'avoir un utilitaire pour surveiller la
> consommation mémoire de nos programmes, 

Le module `Gc' permet tout ce que tu veux

> c'est à dire :
> - taille des données (fonctions, foncteurs, modules, ...)
> - volume de miettes créé

Gc.print_stat stdout (cf. la description du type `Gc.stat' dans le fichier
décriavant l'interface du module `Gc' pour une description précise du sens
des valeurs retournées).

> - travail du ramasse-miettes (voir quand il se met en marche, combien
> de mémoire il libère ...)

Voir le types `Gc.control' et les fonctions `Gc.get' et `Gc.set' qui te
permettront de forcer l'attribut `verbose' à la valeur ad"quate (itou).
-- 
Michaël Grünewald <michael-grunewald@wanadoo.fr>  - RSA PGP Key ID: 0x20D90C12
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners

Re: [Caml-list] Re: module Size

[Diego Olivier Fernandez Pons]

    Bonjour,

> Le module `Gc' permet tout ce que tu veux

Je vais essayer de m'exprimer un peu plus clairement désormais.

L'unité du débogueur est "l'évènement intéressant"
L'unité du profileur est en gros la fonction
L'unité du module size est la valeur
L'unité du gc est le programme

Pour déboguer, profiler et connaître la taille de mes données il me
suffit d'écrire quelques lignes, compiler et lancer 'test example'
dans un cas, 'size_b example' dans l'autre. 

Certes le module Gc contient de nombreuses fonctions utiles, mais il
faut insèrer partout des affichages de statistiques, des alarmes,
garder en mémoire les valeurs retournées, calculer les différences
nécessaires, changer la verbosité du gc, etc.

Et bien sûr, tout recommencer dès que l'on change de programme.

Autrement dit, prétendre que le module Gc fait tout ce que je veux
revient à prétendre que printf et time sont tout ce qu'il faut pour
déboguer et profiler ses programmes.

Je corrige donc votre proposition : "le module Gc permet tout ce qu'il
te faut pour écrire l'outil que tu veux"

Et encore... J'écris deux fonctions implémentant deux algorithmes
différents pour un même travail. Je veux connaître la taille relative
des deux fonctions. En quoi m'est utile le module Gc ?

Bref, il faudrait encore mettre les mains dans Obj, améliorer le
module Size pour qu'il gère les fonctions récursives, mutuellement
récursives, une fonction qui en appelle une seconde qui peut s'appeler
elle même, etc.

En intégrant tout cela on obtient ce que j'appelle "un outil pour
contrôler l'occupation mémoire de son programme" 


        Diego Olivier

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners