What Is the Right Logical Framework for Evolution of Knowledge
No abstract available.
Related papers
- A Logical Framework for Evolution of Specifications ESOP 1994
- Analyzing Logic Programs with Dynamic Scheduling POPL 1994
- Data-driven synthesis for object-oriented frameworks OOPSLA 2011
- Verifying Temporal Heap Properties Specified via Evolution Logic ESOP 2003
- Architectural Refactoring in Framework Evolution: A Case Study GPCE 2002
- Zones, Contracts and Absorbing Changes: An Approach to Software Evolution OOPSLA 1999
- Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems TACAS 2008
- A Concurrent Object-Oriented Knowledge Representation Language Orient84/K: Its Features and Implementation OOPSLA 1986