See this document in CiteSeerX!

Type Specialization and Coordination (1994)  (Make Corrections)  
Franz Puntigam
Workshop on Coordination Models and Languages for Parallelism and Distribution



  Home/Search   Context   Related

 
View or download:
complang.tuwien.ac.a...ecoopws94.ps.gz
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  complang.tuwien.ac.at/fran...publ (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(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