The megamodeling language LAL
Summary
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.
Online availability
LAL is part of YAS.
Paper on LAL
- Title: Coupled Software Transformations—-Revisited
- Online resource: (.html)
page revision: 1, last edited: 04 Jun 2016 21:46