RE: [abc] Semmle Ltd.

Hi all.

That's interesting news. Thanks for letting us know. I personally have
no concerns so far, only a minor one which is that actually I was
planning on making available a new abc release (including the static
analysis) within the next couple of weeks or so and was hoping to get
some help with the remaining open abc bugs from your side.

What's your opinion on that? Should I look into those on my own or are
you going to be able to do a bit of work on those bugs (at least those
that were already assigned?)?

Cheers and good luck with everything.

Eric

> -----Original Message-----
> From: Majordomo list server [mailto:majordomo@comlab.ox.ac.uk] On
> Behalf Of Oege de Moor
> Sent: Sunday, January 14, 2007 11:03 AM
> To: abc@comlab.ox.ac.uk
> Subject: [abc] Semmle Ltd.
>
>
> Hi abc-ers,
>
> I thought I should let the whole abc team know about some recent
> developments at Oxford. After much deliberation, the progtools
> group has decided to set up a company.
>
> The name of the company is "Semmle" (a scottish verb meaning
> "to gather, to arrange in an orderly fashion"). Its initial focus
> is on query languages for complex data, and I shall be making
> the first public presentation of Semmle technology in my talk
> at PEPM on Tuesday.
>
> The formation of Semmle has no immediate bearing on abc, except
> perhaps that for the next few weeks, several of us at Oxford will
> not be fixing abc bugs in the evenings and weekends, instead
> concentrating on product development. Semmle products will *not* be
> open source, and to avoid problems with intellectual property
> rights, Semmle and abc will be kept strictly separate.
> That being said, we're of course sympathetic to the idea of
> calling its query technology in implementing more powerful pointcut
> languages in abc...
>
> Please do not hesitate to contact me if you have any questions or
> concerns.
>
> Best wishes,
>
> -Oege
>
> URLs:
>
> http://www.program-
> transformation.org/PEPM07/ObjectOrientedQueriesOverSoftwareSystems
> http://www.semmle.com
Received on Sun Jan 14 21:06:26 2007