Publication | Open Access
TransformGen: automating the maintenance of structure-oriented environments
15
Citations
17
References
1994
Year
Software MaintenanceStructure-oriented EnvironmentsEngineeringSoftware EngineeringSoftware AnalysisFormal VerificationSocial SciencesAutomatic TransformersProgram TransformationPersistent TypesObject-oriented DesignDesignDynamic Programming LanguagePersistent DataComputer ScienceExtensible LanguageAutomated RepairSoftware DesignArchitectural DesignProgram AnalysisAutomated ReasoningSoftware TestingFormal MethodsProgram SynthesisObject-oriented ProgrammingSystem Software
A serious problem for programs that use persistent data is that information created and maintained by the program becomes invalid if the persistent types used in the program are modified in a new release. Unfortunately, there has been little systematic treatment of the problem; current approaches are manual, ad hoc, and time consuming both for programmers and users. In this article we present a new approach. Focusing on the special case of managing abstract syntax trees in structure-oriented environments, we show how automatic transformers can be generated in terms of an implementor's changes to the grammar of these environments.
| Year | Citations | |
|---|---|---|
Page 1
Page 1