Davide Ancona, Elena Zucca  Home/Search
Context Related
| disi.unige.it/pub/...ISITR9810.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: disi.unige.it/pers...Publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . We propose a new way of handling imperative features in the algebraic approach to composition of software modules, meant in its abstract categorical formulation. The basic idea is to consider, instead of a global state, orthogonal to the modular structure, the local state of a module as the collection of those components which have no associated definition but an extension which may vary dynamically. Following this intuition, composition of modules via classical operators like merge, renaming ... (Update)
Cited by: More
Modular Formal Frameworks for Module Systems - Ancona (1998) (Correct)
Active bibliography (related documents): More All
0.8: Algebraic System Specification and Development.. - Cerioli, Gogolla, .. (1997) (Correct)
0.5: Specifications in an Arbitrary Institution With Symbols - Mossakowski (Correct)
0.5: First-class modules for component-based programming: Case for.. - Jones, Jones (1996) (Correct)
Similar documents based on text: More All
0.4: A Theory of Mixin Modules: Algebraic Laws and Reduction Semantics - Ancona, Zucca (1999) (Correct)
0.4: A Calculus of Module Systems - Ancona, Zucca (2001) (Correct)
0.4: Java Separate Type Checking is not Safe (Extended Abstract) - Ancona, Lagorio, Zucca (Correct)
Related documents from co-citation: More All
2: volume 6 of EATCS Monograph in Computer Science (context) - Ehrig, Mahr et al. - 1985
BibTeX entry: (Update)
D. Ancona and E. Zucca. A theory of modules with state. In preparation. http://citeseer.ist.psu.edu/article/ancona98theory.html More
@article{ ancona98theory,
author = "Davide Ancona and Elena Zucca",
title = "A Theory of Mixin Modules: Basic and Derived Operators",
journal = "Mathematical Structures in Computer Science",
volume = "8",
number = "4",
pages = "401-446",
year = "1998",
url = "citeseer.ist.psu.edu/article/ancona98theory.html" }
Citations (may not include all citations):1074 The Definition of Standard ML (context) - Milner, Tofte et al. - 1990
218 Logic Programming and Databases (context) - Ceri, Gottlob et al. - 1990
215 A Type Theoretic Approach to HigherOrder Modules with Sharin.. - Harper, Lillibridge - 1994
198 Towards Formal Development of Programs from Algebraic Specif.. - Sannella, Tarlecki - 1988
134 A Theory of Objects (context) - Abadi, Cardelli - 1996
131 The Essence of Algol (context) - Reynolds - 1981
112 A Denotational Semantics of Inheritance - Cook - 1989
76 Abstract and Concrete Categories (context) - Ad'amek, Herrlich et al. - 1990
60 Towards Fully Abstract Semantics for Local Variables (context) - Meyer, Sieber - 1988
58 Solving the Frame Problem (context) - Shanahan - 1997
57 Some Fundamental Algebraic Tools for the Semantics of Comput.. - Tarlecki, Burstall et al. - 1991
56 Module Algebra (context) - Bergstra, Heering et al. - 1990
45 A Modular Module System - Leroy - 1996
41 Essential Concepts of Algebraic Specification and Program De.. - Sannella, Tarlecki - 1997
33 A Theory of Mixin Modules: Basic and Derived Operators - Ancona, Zucca - 1998
31 Logical Support for Modularisation - Diaconescu, Goguen et al. - 1993
27 Behavioural Satisfaction and Equivalence in Concrete Model C.. - Bidoit, Tarlecki - 1996
20 Parents are Shared Parts of Objects: Inheritance and Encapsu.. - Chambers, Ungar et al. - 1991
19 Dynamic Abstract Data Types: An Informal Proposal (context) - Ehrig, Orejas - 1994
19 Global State Considered Unnecessary: An Introduction to Obje.. (context) - Reddy - 1996
19 Parametricity and Local Variables - O'Hearn, Tennent - 1995
17 Institutions: Abstract Model Theory for Computer Science (context) - Goguen, Burstall - 1992
17 Permissive Subsorted Partial Logic in CASL - Cerioli, Haxthausen et al. - 1997
14 Dynamic abstract data types based on algebraic graph transfo.. (context) - Ehrig, Lowe et al. - 1994
12 An Applicative Module Calculus - Courant - 1997
12 Modeling Database Updates with Constraint Logic Programming (context) - Bertino, Martelli et al. - 1992
10 An Algebra of Mixin Modules - Ancona, Zucca
10 Modular Formal Frameworks for Module Systems - Ancona - 1998
8 Transition Specifications for Dynamic Abstract Data Types (context) - Groe-Rhode - 1997
7 Overriding Operators in a Mixin-Based Framework - Ancona, Zucca - 1997
6 A Formal Framework for Modules with State - Ancona, Zucca - 1996
5 Implicit State in Algebraic Specifications (context) - Dauchy, Gaudel - 1993
4 From Static to Dynamic Abstract Data-Types: An Institution T.. (context) - Zucca - 1998
3 Applications of Category Theory to the Area of Algebraic Spe.. (context) - Ehrig, Groe-Rhode et al. - 1998
3 Categorical Principles, Techniques and Results for High-Leve.. (context) - Ehrig, Lowe - 1993
3 Fundamentals of Algebraic Specification 2 (context) - Ehrig, Mahr - 1990
2 Cocompleteness of the CASL signature category (context) - Mossakowski
2 Weak Inclusion Systems - Caazanescu, Rosu - 1997
2 Colimits of Order-Sorted Specifications - Mossakowski
2 Manifest Types, Modules and Separate Compilation - Leroy - 1994
1 MIX(FL): A Kernel Language of Mixin Modules - Ancona - 1996
1 May I Borrow Your Logic? (Transporting Logical Structures al.. - Cerioli, Meseguer - 1997
1 and E. Zucca: 1995, `D-oids: a Model for Dynamic Data-Types (context) - Astesiano - 1995
1 Dynamics in Information Systems: Specification, Construction.. (context) - Claen, Gogolla et al. - 1995
Documents on the same site (http://www.disi.unige.it/person/AnconaD/Publications.html): More
MIX(FL): a kernel language of mixin modules - Ancona (1996) (Correct)
A Formal Framework for Modules With State - Ancona, Zucca (1996) (Correct)
A Primitive Calculus for Module Systems - Ancona, Zucca (1999) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC