Express arithmetic expression in Jchord's Datalog

[Zell]

Hello,

I would like to know whether it is possible to use pure Datalog part
of Jchord to implement Extended SSA Numbering (c.f. Lopkowski, Hendren
1996 ) . The goal is to implement a cheap flow-sensitive must-alias
analysis that serves as one of the pointer analysis abstract domains.

My difficulty is that it seems hard to specify arithmetic-related
properties. An extreme example is I do not see how to implement "succ"
relation. There must be an elegant way to encode it?

Thanks.

Zell.

[Zell]

No one cares about this question??? Pls. help.

[Ariel Rabkin]

I care about the question. I don't know the answer. Sadly, bddbddb
isn't a particularly well-documented piece of code, and I think the
JChord community tends to use it as a black box.

--Ari

> --
> You received this message because you are subscribed to the Google Groups "chord-discuss" group.
> To post to this group, send email to chord-...@googlegroups.com.
> To unsubscribe from this group, send email to chord-discus...@googlegroups.com.
> For more options, visit this group at http://groups.google.com/group/chord-discuss?hl=en.
>

--
Ari Rabkin asra...@gmail.com
UC Berkeley Computer Science Department