Gryphon is a programming language based off of jML/jWeb/JPL.