Gerard Boudol  Home/Search
Context
Related
| mikado.di.fc.ul.pt...grammingmodel.pdf 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: mikado.di.fc.ul.pt/o...papers.php (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Gerard Boudol INRIA Sophia Antipolis Abstract. We propose a programming model to address the unreliable character of accessing resources in a global computing context, focusing on giving a precise semantics for a small, yet expressive core language. To design the language, we use ideas and programming constructs from the synchronous programming style, that allow us to deal with the suspensive character of some operations, and to program reactive behaviour. We also introduce constructs... (Update)
Active bibliography (related documents): More All
2.5: ULM - A Core Programming Model for Global Computing - Boudol (2004) (Correct)
0.3: A Generic Membrane Model - Boudol (2004) (Correct)
0.2: Typing Noninterference for Reactive Programs - Matos, Boudol, Castellani (2004) (Correct)
Similar documents based on text: More All
0.1: The pi-Calculus in Direct Style - Boudol (1997) (Correct)
0.1: On the Semantics of the Call-by-Name CPS Transform - Boudol (Correct)
0.1: Atomic Actions - Boudol (1989) (Correct)
BibTeX entry: (Update)
@misc{ boudol-ulm,
author = "Gerard Boudol",
title = "ULM - A Core Programming Model for Global Computing (Extended Abstract)",
url = "citeseer.ist.psu.edu/726202.html" }
Citations (may not include all citations):457 The ESTEREL synchronous programming language: design - Berry, Gonthier
270 Synchronous Programming of Reactive Systems (context) - Halbwachs
264 A language with distributed scope - Cardelli
138 Understanding code mobility - Fuggetta, Picco et al.
89 LIME: Linda meets mobility - Picco, Murphy et al.
79 Sumatra: a language for resource-aware mobile programs - Acharya, Ranganathan et al.
76 Programming languages for mobile code - Thorn
56 Nomadic Pict: language and infrastructure design for mobile .. - Sewell, Wojciechowski
38 Mobile Object Systems: Towards the Programmable Internet (context) - Vitek, Tschudin
25 Service combinators for web computing - Cardelli, Dawies
21 The synchronous languages twelve years later (context) - Benveniste, Caspi et al.
17 Wide area computation (context) - Cardelli
6 A core programming model for global computing (context) - Boudol
3 KLAIM: a kernel langage for agents interaction and mobility (context) - De Nicola, Ferrari et al.
2 on Software Engineering Vol (context) - Boussinot, de Simone et al.
2 Summer School on Advanced Functional Programming (context) - Fournet, Le Fessant et al.
2 ACM SIGPLAN Notices Vol (context) - Cardelli, computation
2 La Programmation Reactive -- Application aux Syst emes Commu.. (context) - Boussinot
http://www.cordis.lu/ist/fet/gc.htm
http://www.sun.com/jini/specs
Documents on the same site (http://mikado.di.fc.ul.pt/output/papers.php): More
Global Computing in a Dynamic Network of Tuple Spaces - De Nicola, Gorla, Pugliese (2005) (Correct)
Process Calculi and the Verification of Security Protocols - Boreale, Gorla (2002) (Correct)
Session Types for Inter-Process Communication - Gay, Vasconcelos, Ravara (2003) (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