Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

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: -- (:)
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