English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
Automatic complexity analysis of OCaml programs
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2004-12-02 (11:57)
From: Roberto Bagnara <bagnara@c...>
Subject: Automatic complexity analysis of OCaml programs

I am looking for references and pointers to existing
works concerning the automatic or semiautomatic
complexity analysis of programs written in OCaml or
in a subset of it.  Pointers to the literature
and to available implementations are both very welcome.
Many thanks in advance,


Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy