[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS-Help] Generation of (E)Lisp code from PVS specification



Hi,

Is there any package for generating ELisp code corresponding to a
PVS specification? Any suggestions for doing this kind of stuff are
welcome. Does one has to walk over the parse tree generated by PVS?
Any packages for doing this?

Regards,
Aditya Kanade.
Ph.D. student, CSE, IIT Bombay.
http://www.cse.iitb.ac.in/~aditya