A Logical Framework for Evolution of Specifications
Abstract elided by the publisher.
Related papers
- What Is the Right Logical Framework for Evolution of Knowledge APLAS 2002
- Practical refactoring-based framework upgrade GPCE 2008
- Verifying Temporal Heap Properties Specified via Evolution Logic ESOP 2003
- Architectural Refactoring in Framework Evolution: A Case Study GPCE 2002
- Online Causation Monitoring of Signal Temporal Logic CAV 2023
- JavaDL: automatically incrementalizing Java bug pattern detection OOPSLA 2021
- Towards Dynamic Evolution of Domain Specific Languages SLE 2009
- Software Evolution to Domain-Specific Languages SLE 2013