Concurrency control in groupware systems
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
A framework for defining logics
Journal of the ACM (JACM)
Journal of Automated Reasoning
Towards an Evolutionary Formal Software-Development Using CASL
WADT '99 Selected papers from the 14th International Workshop on Recent Trends in Algebraic Development Techniques
The Development Graph Manager MAYA
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
CADE-11 Proceedings of the 11th International Conference on Automated Deduction: Automated Deduction
Information and Computation
Management of Change in Structured Verification
ASE '00 Proceedings of the 15th IEEE international conference on Automated software engineering
Towards Ontology Evolution in Physics
WoLLIC '08 Proceedings of the 15th international workshop on Logic, Language, Information and Computation
Computer assisted reasoning with MIZAR
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
Semantics-based change impact analysis for heterogeneous collections of documents
Proceedings of the 10th ACM symposium on Document engineering
Change management for heterogeneous development graphs
Verification, induction termination analysis
A foundational view on integration problems
MKM'11 Proceedings of the 18th Calculemus and 10th international conference on Intelligent computer mathematics
Workflows for the management of change in science, technologies, engineering and mathematics
MKM'11 Proceedings of the 18th Calculemus and 10th international conference on Intelligent computer mathematics
Combining source, content, presentation, narration, and relational representation
MKM'11 Proceedings of the 18th Calculemus and 10th international conference on Intelligent computer mathematics
Project abstract: logic atlas and integrator (LATIN)
MKM'11 Proceedings of the 18th Calculemus and 10th international conference on Intelligent computer mathematics
Information and Computation
The MMT API: a generic MKM system
CICM'13 Proceedings of the 2013 international conference on Intelligent Computer Mathematics
| Hi-index | 0.00 |
Due to the high degree of interconnectedness of formal mathematical statements and theories, human authors often have difficulties anticipating and tracking the effects of a change in large bodies of symbolic mathematical knowledge. Therefore, the automation of change management is often desirable. But while computers can in principle detect and propagate changes automatically, this process must take the semantics of the underlying mathematical formalism into account. Therefore, concrete management of change solutions are difficult to realize. The Mmt language was designed as a generic declarative language that captures universal structural features while avoiding a commitment to a particular formalism. Therefore, it provides a promising framework for the systematic study of changes in declarative languages. We leverage this framework by providing a generic change management solution at the Mmt level, which can be instantiated for arbitrary specific languages.