(Enter summary)
Abstract: For the development of present-day applications, programming languages supporting
high order abstractions are needed. These high order abstractions are called components.
Since most of the currently available programming languages and systems
fail to provide sufficient support for specifying and implementing components, we are
developing a new language suitable for software composition. It is not clear how such
a language will look like, what kind of abstractions it must support, and what kind... (Update)
Active bibliography (related documents): More All
0.8: Synchronizing Concurrent Objects in the pi-Calculus - Schneider, Lumpe (1997)
(Correct)
0.4: Using Metaobjects to Model Concurrent Objects with PICT - Lumpe, Schneider, Nierstrasz (1996)
(Correct)
0.4: A Formal Language for Composition - Lumpe, Achermann, Nierstrasz (2000)
(Correct)
Similar documents based on text: More All
0.2: Form-based Software Composition - Lumpe, Schneider (2003)
(Correct)
0.2: Agent Coordination via Scripting Languages - Schneider, Lumpe, Nierstrasz (2001)
(Correct)
0.0: Formalizing Composable Software Systems - A Research Agenda - Nierstrasz, Schneider, Lumpe (1996)
(Correct)
BibTeX entry: (Update)
@techreport{ schneider96modelling,
author = "Jean-Guy Schneider and Markus Lumpe",
title = "Modelling Objects in {PICT}",
number = "IAM-96-004",
year = "1996",
url = "citeseer.ist.psu.edu/article/schneider96modelling.html" }
Citations (may not include all citations):
1274
Object-oriented Software Construction (context) - Meyer - 1988
423
The Art of the Metaobject Protocol (context) - Kiczales, Rivieres et al. - 1991
388
On Understanding Types (context) - Cardelli, Wegner - 1985
342
Eiffel: the Language (context) - Meyer - 1992
306
SELF: The Power of Simplicity (context) - Ungar, Smith - 1987
155
Analysis of inheritance anomaly in object-oriented concurren..
- Matsuoka, Yonezawa - 1993
139
Using Prototypical Objects to Implement Shared Behaviour in ..
- Lieberman - 1986
129
Smalltalk-80: The Language (context) - Goldberg, Robson - 1989
127
A Metaobject Protocol for C
- Chiba - 1995
127
Information and Computation (context) - Walker, the
114
The Polymorphic Pi-Calculus: Theory and Implementation
- Turner - 1996
112
A Denotational Semantics of Inheritance
- Cook - 1989
106
Essentials of Programming Languages (context) - Friedman, Wand et al. - 1992
80
The SCHEME Programming Language (context) - Dybvig - 1987
73
Concurrent Objects in a Process Calculus
- Pierce, Turner - 1995
70
The Design and Evolution of C (context) - Stroustrup - 1994
47
Component-Oriented Software Development
- Nierstrasz, Gibbs et al. - 1992
46
Object-Oriented Programming: The CLOS Perspective (context) - Paepcke - 1993
44
Component-Oriented Software Technology
- Nierstrasz, Dami - 1995
43
The polyadic Pi-calculus: a tutorial
- Milner - 1991
40
Composing Concurrent Objects (context) - Bergmans - 1994
39
A Pi-Calculus Semantics for an Object-Based Design Notation (context) - Jones - 1993
34
Requirements for a Composition Language
- Nierstrasz, Meijler - 1995
30
Computer Science Department (context) - Milner, of et al. - 1989
9
The Design of a Meta-Level Architecture for the BETA Languag..
- Brandt, Schmidt - 1995
6
Estudio de Aspectos Dinamicos en Sistemas Orientados al Obje.. (context) - Solorzano - 1995
6
Programming in the Pi-Calculus: An experiment in concurrent .. (context) - Pierce - 1995
5
Generic Synchronization Policies (context) - Varone - 1996
4
Pict User Manual (context) - Pierce - 1995
3
Technical Report vub-tinf-tr (context) - Mens, on et al. - 1994
1
Das grosse Buch zu DELPHI (context) - Burda, Farber - 1995
1
A denotaional semantics of inheritance and its correctness (context) - Cook, Palsberg - 1994
1
the Desing of the Object-Oriented Language Sina (context) - Aksit - 1989
1
Borland International Inc (context) - Handbook - 1991
1
Object-oriented Languages: Basic principles and programming .. (context) - Beaudouin-Lafon - 1994
Documents on the same site (http://www.math.jussieu.fr/~fermigie/fermivista/ftp/iamftp.unibe.ch.html): More
Graphical User Interfaces: Mess them up! - Dubuis (1995)
(Correct)
An Environment For Parallel Scientific Computing: The Spade.. - Decker, Rehmann (1991)
(Correct)
An Analysis of Message Sequence Charts - Ladkin, Leue (1992)
(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