(Enter summary)
Abstract: . Declarative models and language concepts for the coordination
in parallel and distributed systems attract increasing attention because
of their simplicity and expressiveness. In this paper, type specialization
is proposed as a declarative, object-oriented programming and coordination
model. A simple execution mechanism repeatedly specializes types of
entities (variables) and thereby collects knowledge about the objects represented
by these entities. Concurrently running specialization... (Update)
Active bibliography (related documents): More All
1.3: Type Specialization for Object-Oriented Coordination - Franz Puntigam
(Correct)
0.6: Transactions on Shared Data: a Coordination Model - Puntigam (1994)
(Correct)
0.3: Advanced Languages for Multidatabase Systems - Bukhres, Elmagarmid, Kühn (1994)
(Correct)
Similar documents based on text: More All
0.1: Supporting Design by Contract in Java - Martin Lackner Decision (2002)
(Correct)
0.1: Data-Oriented Translation - Using the Data-Oriented Parsing . . . - Poutsma (2000)
(Correct)
0.1: Concurrency and Backtracking in Vienna Parallel Logic - Kühn, Pohlai, Puntigam (1993)
(Correct)
BibTeX entry: (Update)
@inproceedings{ puntigam94type,
author = "Franz Puntigam",
title = "Type Specialization and Coordination",
booktitle = "Workshop on Coordination Models and Languages for Parallelism and Distribution",
year = "1994",
url = "citeseer.ist.psu.edu/puntigam94type.html" }
Citations (may not include all citations):
1209
Concurrency Control and Recovery in Database Systems (context) - Bernstein, Hadzilacos et al. - 1987
388
On understanding types (context) - Cardelli, Wegner - 1985
247
The family of concurrent logic programming languages (context) - Shapiro - 1989
216
Coordination languages and their significance (context) - Gelernter, Carriero - 1992
200
Programming languages for distributed computing systems (context) - Bal, Steiner et al. - 1989
124
Concepts and paradigms of object-oriented programming (context) - Wegner - 1990
93
Feature constraint logics for unification grammars
- Smolka - 1992
57
Research Directions in Concurrent Object-Oriented Programmin.. (context) - Agha, Wegner et al. - 1993
50
Towards a meaning of life (context) - Ait-Kaci, Podelski - 1993
10
Typed feature structures: a generalization of first-order te.. (context) - Carpenter - 1991
10
Steps Beyond Pascal and Modula (context) - Reiser, Wirth et al. - 1992
8
An execution model for distributed database transactions and..
- Kuhn, Puntigam et al. - 1992
6
Reliable communication in VPL
- Kuhn, Puntigam - 1992
3
Peter Wegner and Stefano Ceri (context) - Wiederhold - 1992
2
An Abstract Type Specialization Language (context) - Puntigam - 1994
2
Transactions on shared data: a coordination model
- Puntigam - 1994
Documents on the same site (http://www.complang.tuwien.ac.at/franz/publ.html): More
Concurrency and Backtracking in Vienna Parallel Logic - Kühn, Pohlai, Puntigam (1993)
(Correct)
Flexible Types for a Concurrent Model - Puntigam (1995)
(Correct)
Type Specifications with Processes - Puntigam (1995)
(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