Research on the semantics of programming languages has yielded a wide array of notations and methodologies for defining languages and language features. An important feature many of these notations and methodologies lack is modularity: the ability to define a language feature once, insulating it from unrelated changes in other parts of the language, and allowing it to be reused in other language definitions. This paper introduces ongoing work on modularity features in K, an algebraic, rewriting logic based formalism for defining language semantics. © 2009 Springer Berlin Heidelberg.
CITATION STYLE
Hills, M., & Roşu, G. (2009). Towards a module system for K. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5486 LNCS, pp. 187–205). https://doi.org/10.1007/978-3-642-03429-9_13
Mendeley helps you to discover research relevant for your work.