Paper Info
Title
Management of change in declarative languages
Abstract
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.
Year
DOI
Venue
2012
10.1007/978-3-642-31374-5_22
AISC/MKM/Calculemus
Keywords
Field
DocType
formal mathematical statement,underlying mathematical formalism,mmt level,generic change management solution,concrete management,change management,mmt language,symbolic mathematical knowledge,change solution,declarative language,propagate change
Dependency relation,Change management,Software engineering,Computer science,Automation,Formalism (philosophy),Declarative programming,Interconnectedness,Management science,Semantics,Formalism (philosophy of mathematics)
Conference
Citations 
PageRank 
References 
5
0.53
21
Authors
2
Name
Order
Citations
PageRank
Mihnea Iancu1314.72
Florian Rabe233341.66