Logic Meta Programming
- Members /
- AlfredoCadiz
- DiegoOrdonez
- JohanBrichau
- KimMens
- NicolasCardozo
- SergioCastro
- Publications /
- Application-SpecificModelsAndPointcutsUsingALogicMetaLanguage
- BuildingComposableAspect-specificLanguagesWithLogicMetaprogramming
- DiagnosingAndCorrectingDesignInconsistenciesInSourceCodeWithLogicalAbduction
- DiagnosisAndSemi-automaticCorrectionOfDetectedDesignInconsistenciesInSourceCode
- GenerationAndCompositionOfCorrectiveActionsToStructuralDesignProblemsInCodeWithHeal
- MaintainingSoftwareThroughIntentionalSource-CodeViews
- OpenUnificationForProgramQueryLanguages
- SupportingSoftwareDevelopmentThroughDeclarativelyCodifiedProgrammingPatterns
- UsingIntentionalSourceCodeViewsToAidSoftwareMaintenance
- Tools /
- HEAL
- IntensiVE