Franz Puntigam Technische Universitat Wien, Institut fur Computersprachen...  Home/Search
Context
Related
| complang.tuwien.ac.at/fr...jcis94.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: complang.tuwien.ac.at/fran...publ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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