Version française
Home     About     Download     Resources     Contact us    
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,

     Roberto

-- 
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara@cs.unipr.it