JTL and the Annoying Subtleties of Precise μ-Pattern Definitions
Abstract
We describe the lessons learned from our experience in translating the natural language definitions, and the actual Java implementation, of micro-patterns into the declarative, formal, and ready for execution, yet human-readable equivalent in JTL (the Java Tools Language).