See this document in CiteSeerX!

Type Specialization for Object-Oriented Coordination  (Make Corrections)  
Franz Puntigam Technische Universitat Wien, Institut fur Computersprachen...
Joint Conference on Information Sciences



  Home/Search   Context   Related

 
View or download:
complang.tuwien.ac.at/fr...jcis94.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: TSOc is presented as a declarative, object-oriented, concurrent programming language and model. Its intended field of application is the coordination of simultaneously active autonomous applications. This language /model is based on a type lattice and constraints over typed variables. Subtyping and constraints allow to specify interfaces and communication protocols in a declarative way. 1 Introduction Coordination is the task of arranging for concurrent processes to cooperate in achieving a... (Update)

Similar documents (at the sentence level):
5.9%:   Type Specialization and Coordination - Puntigam (1994)   (Correct)

Active bibliography (related documents):   More   All
0.3:   Transactions on Shared Data: a Coordination Model - Puntigam (1994)   (Correct)
0.0:   Functions as Passive Constraints in LIFE - Ait-Kaci, Podelski (1992)   (Correct)
0.0:   Towards the Uniform Implementation of Declarative Languages - Chakravarty, Lock (1997)   (Correct)

Similar documents based on text:   More   All
0.1:   Supporting Design by Contract in Java - Martin Lackner Decision (2002)   (Correct)
0.1:   Concurrency and Backtracking in Vienna Parallel Logic - Kühn, Pohlai, Puntigam (1993)   (Correct)
0.1:   Coordination of CORBA Objects with Process Types - Christof Peter And (1998)   (Correct)

BibTeX entry:   (Update)

@inproceedings{ puntigam94type,
    author = "Franz Puntigam",
    title = "Type Specialization for Object-Oriented Coordination",
    booktitle = "Joint Conference on Information Sciences",
    year = "1994",
    url = "citeseer.ist.psu.edu/146897.html" }
Citations (may not include all citations):
1209   Concurrency Control and Recovery in Database Systems (context) - Bernstein, Hadzilacos et al. - 1987
247   The Family of Concurrent Logic Programming Languages (context) - Shapiro - 1989
216   Coordination Languages and their Significance (context) - Gelernter, Carriero - 1992
128   On Understanding Types (context) - Cardelli, Wegner - 1985
93   Feature Constraint Logics for Unification Grammars - Smolka - 1992
50   Towards a Meaning of LIFE (context) - Ait-Kaci, Podelski - 1993
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