LAL is predicate logic-based megamodeling language which is specifically useful for modeling software transformation at a macroscopic level. LAL is many- and order-sorted; it supports reuse of megamodels through inlining modulo substitution.
LAL is part of YAS.
Paper on LAL
- Title: Coupled Software Transformations—-Revisited
- Online resource: (.html)