Desugaring JML Method Specifications

@inproceedings{Raghavan2000DesugaringJM,
  title={Desugaring JML Method Specifications},
  author={Arun Raghavan and Gary T. Leavens},
  year={2000}
}
JML, which stands for “Java Modeling Language,” is a behavioral interface specification language (BISL) designed to specify Java modules. JML features a great deal of syntactic sugar that is designed to make method specifications more expressive. This paper presents a desugaring process that boils down all of the syntactic sugars in JML method specifications into a much simpler form. This desugaring will help one understand the meaning of these sugars, for example for use in program… CONTINUE READING
Highly Cited
This paper has 48 citations. REVIEW CITATIONS

References

Publications referenced by this paper.

Similar Papers

Loading similar papers…