grammar of jimple and grimp

[John Plond JORGENSEN <jjorge1@cs.mcgill.ca>]

"Vernaillen == "Michael Vernaillen" <mavernai@vub.ac.be> writes:

    Vernailen> hello,
    Vernailen> is there a document available somewhere with the
    Vernailen> grammar of the jimple = and grimp bytecodes?
    Vernailen> thanks in advance,
    Vernailen> michael

A grammar for jimple appears as figures 2.9 and 2.10 of Raja
Vallée-Rai's thesis:

  http://www.sable.mcgill.ca/publications/#korMastersThesis

A grimp grammar appears in figures 2.13 and 2.14 of the same
file.

Incidentally, the reason your original query did not appear in
soot-list is that you sent it from a different address than that
under which you are registered as a member of soot-list, so the
mail server bounced your question as a "non-member submission"
(at which point it came to me as postmaster). If you
expect to be at vub.ac.be instead of eleve.emn.fr from now on,
you should unsubscribe the eleve.emn.fr address and resubscribe
using vub.ac.be.

-- 
John Jorgensen		jjorge1@cs.mcgill.ca