Jinja: Towards a comprehensive formal semantics for a Java-like language (0)

by T Nipkow
Venue:Proc. Marktobderdorf Summer School 2003, IOS