A Foundational Approach to Modularization (Extended Abstract)

by Grigore Rosu

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	A Foundational Approach to Modularization (Extended Abstract)	user correction - Legacy Corrections
AUTHOR NAME	Grigore Rosu	user correction - Legacy Corrections
ABSTRACT	This paper introduces the novel concept of inclusive institution as a foundational framework for studying logic-independent module compositionality, defines specification modules as specifications allowing both public and private signatures, and shows that an internal property of modules, called conservatism, is crucial for compositional semantics.	user correction - Legacy Corrections
CITATIONS	20 found	ParsCit 1.0