Type inference for record concatenatiOn and multiple inheritance
Proceedings of the Fourth Annual Symposium on Logic in computer science
Common LISP: the language (2nd ed.)
Common LISP: the language (2nd ed.)
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Component-oriented software technology
Object-oriented software composition
Software engineering with reusable components
Software engineering with reusable components
A lambda-calculus for dynamic binding
Theoretical Computer Science - Special issue: theoretical aspects of coordination languages
Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
A formal language for composition
Foundations of component-based systems
Component Software: Beyond Object-Oriented Programming
Component Software: Beyond Object-Oriented Programming
Advanced .Net Remoting
Making Components Contract Aware
Computer
JMLC '00 Proceedings of the Joint Modular Languages Conference on Modular Programming Languages
A Basic Model of Typed Components
ECOOP '00 Proceedings of the 14th European Conference on Object-Oriented Programming
Requirements for a Composition Language
ECOOP '94 Selected papers from the ECOOP'94 Workshop on Models and Languages for Coordination of Parallelism and Distribution, Object-Based Models and Languages for Concurrent Systems
Essentials of Constraint Programming
Essentials of Constraint Programming
Python reference manual
A form-based meta-model for software composition
Science of Computer Programming - Special issue on new software composition concepts
Programming-in-the-Large Versus Programming-in-the-Small
IEEE Transactions on Software Engineering
Classboxes: an experiment in modeling compositional abstractions using explicit contexts
SAVCBS '05 Proceedings of the 2005 conference on Specification and verification of component-based systems
Applications = Components + GLoo
Electronic Notes in Theoretical Computer Science (ENTCS)
Growing a language: the GLoo perspective
SC'08 Proceedings of the 7th international conference on Software composition
GLoo: a framework for modeling and reasoning about component-oriented language abstractions
CBSE'06 Proceedings of the 9th international conference on Component-Based Software Engineering
Hi-index | 0.00 |
The need to use position-dependent parameters often hampers the definition of flexible, extensible, and reusable abstractions for software composition. This observation has led us to explore the concept of forms, which are first-class extensible records and that, in combination with a small set of purely asymmetric operators, provide a core language to address this issue. One interesting application of forms is the definition of contractual specifications to ensure that a component can be safely combined with other components or deployed in a new context. In fact, contractual specifications explicitly and formally state what a component offers without entering into the details of how. In this paper, we develop a formal form-based framework for the definition of contractual specifications. More precisely, we study a substitution-free variant of the lambda-calculus, called $\lambda{\mathcal F}$, where names are replaced with forms and parameter passing is modeled using explicit contexts and show how the $\lambda{\mathcal F}$-calculus can be used to define syntactic contractual specifications.