Add to ORKGIn this thesis we present two formal frameworks for modeling modular languages. Following a modular approach, we separate the module and the core level of a modular language. On the linguistic side, this corresponds to define a kernel module language parametric in the underlying core language
Modelling languages are important in the process of software development. The suitability of a model...
Abstract. We address the problem of developing mechanisms for easily implementing modular extensions...
We propose a framework for specification of programming language semantics, abstract and concrete sy...
Dottorato di ricerca in informaticaConsiglio Nazionale delle Ricerche - Biblioteca Centrale - P.le A...
Modularity in programs is studied from a semantic point of view. A simple model of modular systems a...
In this paper, we further develop the framework of Modular Systems that lays model-theoretic foundat...
AbstractWe present a module language for PROLOG based on the theory of modularity underlying the Sta...
AbstractThese notes give an overview of the main frameworks that have been developed for specifying ...
A mathematical framework for the semantics of modular structuring facilities in specification langu...
Programming languages and formal notations are central to computer science. A significant part of c...
Abstract We present a type theory for higher-order modules that accountsfor many central issues in m...
We consider the problem of designing the top-level modular structure of an implementation. Our start...
AbstractA structured K definition is easier to write, understand and debug than one single module co...
We present a method for defining logical frameworks as a collection of features which are defined an...
. We address the problem of defining an algebraic framework for modularization supporting separate t...
Modelling languages are important in the process of software development. The suitability of a model...
Abstract. We address the problem of developing mechanisms for easily implementing modular extensions...
We propose a framework for specification of programming language semantics, abstract and concrete sy...
Dottorato di ricerca in informaticaConsiglio Nazionale delle Ricerche - Biblioteca Centrale - P.le A...
Modularity in programs is studied from a semantic point of view. A simple model of modular systems a...
In this paper, we further develop the framework of Modular Systems that lays model-theoretic foundat...
AbstractWe present a module language for PROLOG based on the theory of modularity underlying the Sta...
AbstractThese notes give an overview of the main frameworks that have been developed for specifying ...
A mathematical framework for the semantics of modular structuring facilities in specification langu...
Programming languages and formal notations are central to computer science. A significant part of c...
Abstract We present a type theory for higher-order modules that accountsfor many central issues in m...
We consider the problem of designing the top-level modular structure of an implementation. Our start...
AbstractA structured K definition is easier to write, understand and debug than one single module co...
We present a method for defining logical frameworks as a collection of features which are defined an...
. We address the problem of defining an algebraic framework for modularization supporting separate t...
Modelling languages are important in the process of software development. The suitability of a model...
Abstract. We address the problem of developing mechanisms for easily implementing modular extensions...
We propose a framework for specification of programming language semantics, abstract and concrete sy...