ULM: A Core Programming Model for Global Computing. 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 for programming mobile agents, that move together with their state, which consists of a control stack and a store. This makes the access to references also potentially suspensive.
Keywords for this software
References in zbMATH (referenced in 9 articles )
Showing results 1 to 9 of 9.
- Aguado, Joaquín; Mendler, Michael: Constructive semantics for instantaneous reactions (2011)
- Amadio, Roberto M.: A synchronous $\pi$-calculus (2007)
- Amadio, Roberto M.: The SL synchronous language, revisited (2007)
- De Nicola, Rocco; Katoen, Joost-Pieter; Latella, Diego; Loreti, Michele; Massink, Mieke: Model checking mobile stochastic logic (2007)
- Matos, Ana Almeida; Boudol, Gérard; Castellani, Ilaria: Typing noninterference for reactive programs (2007)
- Sewell, Peter; Leifer, James J.; Wansbrough, Keith; Nardelli, Francesco Zappa; Allen-Williams, Mair; Habouzit, Pierre; Vafeiadis, Viktor: Acute: high-level programming language design for distributed computation (2007)
- Amadio, Roberto M.; Dal Zilio, Silvano: Resource control for synchronous cooperative threads (2006)
- Lopes, Antónia; Fiadeiro, José Luiz: Algebraic semantics of design abstractions for context-awareness (2005)
- Boudol, Gérard: ULM: A core programming model for global computing (extended abstract) (2004)