An analyzable annotation language.

Sarfraz Khurshid, Darko Marinov, Daniel Jackson

Browse the full OOPSLA paper archive.