Abstract Semantics for K Module Composition | Zendy

Codruta Girlea | Zendy; Grigore Roşu | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Abstract Semantics for K Module Composition

Author(s) -

Codruta Girlea,

Grigore Roşu

Publication year - 2014

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2014.05.007

Subject(s) - modular programming , computer science , semantics (computer science) , programming language , reuse , composition (language) , debugging , process (computing) , theoretical computer science , engineering , linguistics , philosophy , waste management

A structured K definition is easier to write, understand and debug than one single module containing the whole definition. Furthermore, modularization makes it easy to reuse work between definitions that share some principles or features. Therefore, it is useful to have a semantics for module composition operations that allows the properties of the resulting modules to be well understood at every step of the composition process. This paper presents an abstract semantics for a module system proposal for the K framework. It describes K modules and module transformations in terms of institution-based model theory introduced by Goguen and Burstall

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research