Taclets vs. rewriting logic - relating semantics of Java [report]

Ralf Sasse
2005
doi:10.5445/ir/1000003516 fatcat:eubxqschove6lcp3szyfitpgoq