SCHOOL OF COMPUTING
University of Teesside
Fully Funded University Ph.D. Studentship (3 years)
Ref: QinFeb12
Applications are invited for a Ph.D. student to work in the research area
of formal methods and software verification under the supervision of
Professor Shengchao Qin in the School
On 11/02/2012 12:38 PM, Goswin von Brederlow wrote:
Anyone have something like this but for non-overlapping intervals and
allowing interval insertion and removal with merging and spliting of the
internaly used intervals?
Cis from Sébastien Ferré?
On 02/11/2012 12:38 PM, Goswin von Brederlow wrote:
On Fri, Feb 10, 2012 at 10:07:05AM +0900, Francois Berenger wrote:
I need to use an interval tree.
Biocaml has one, batteries have imap/iset, nice!
Anyone have something like this but for non-overlapping intervals and
allowing interval