• 346 Citations
  • 8 h-Index
1994 …2022
If you made any changes in Pure these will be visible here soon.

Research Outputs 1994 2017

Filter
Chapter
2007

A pattern enforcing compiler (PEC) for Java: a practical way to formally specify patterns

Lovatt, H., Sloane, A. M. & Verity, D. R., 2007, Design pattern formalization techniques. Taibi, T. (ed.). Hershey, PA; London: IGI Publishing, p. 324-356 33 p.

Research output: Chapter in Book/Report/Conference proceedingChapterResearchpeer-review

Visibility
Testing
Code generation