Displaying 2 results from an estimated 2 matches for "sheard".
Did you mean:
heard
2010 Jun 30
2
Listing Domain Local Groups from a Samba Member (NT4 PDC)
Good Morning to all,
Sorry if this is spam to some of you, not sure if this
is more technical or not...
Considering i have been fighting for a week now on this trying all
possible checks and configs out there on the net, i thought i better
come to the experts. ;o)
My last resort is to upgrade to latest samba ver which might help but i
think the bug was not fixed in this version not sure.. :o\
I
2008 Mar 27
0
[LLVMdev] Checked arithmetic
...; Leroy's
> group.
>
> I've tried to sell some of the HOL folks on this idea (they have a
> formal
> semantics for an ARM ISA, for example) but so far no dice.
>
> John Regehr
Hi John,
some time ago I tried to encode some crucial properties
of LLVM IR in Omega (Tim Sheard's system). It looked
pretty good, but even encoding basic SSA properties as
types (i.e. may only reference an already defined variable)
cause your brain to overheat :-)
Stefan Monnier [1] has also some papers about provably correct
program transformations using an expressive type system.
Chee...