Sciweavers

1159 search results - page 38 / 232
» Adding Concurrency to a Programming Language
Sort
View
ERLANG
2003
ACM
14 years 27 days ago
ARMISTICE: an experience developing management software with Erlang
In this paper, some experiences of using the concurrent functional language Erlang to implement a classical vertical application, a risk management information system, are present...
David Cabrero, Carlos Abalde, Carlos Varela, Laura...
AFP
2008
Springer
236views Formal Methods» more  AFP 2008»
14 years 2 months ago
A Tutorial on Parallel and Concurrent Programming in Haskell
This practical tutorial introduces the features available in Haskell for writing parallel and concurrent programs. We first describe how to write semi-explicit parallel programs b...
Simon L. Peyton Jones, Satnam Singh
IJCAI
2003
13 years 9 months ago
Describing Additive Fluents in Action Language C+
An additive fluent is a fluent with numerical values such that the effect of several concurrently executed actions on it can be computed by adding the effects of the individual ac...
Joohyung Lee, Vladimir Lifschitz
ESOP
2009
Springer
14 years 2 months ago
Abstraction for Concurrent Objects
ion for Concurrent Objects Ivana Filipovi´c, Peter O’Hearn, Noam Rinetzky, and Hongseok Yang Queen Mary University of London, UK Concurrent data structures are usually designed ...
Ivana Filipovic, Peter W. O'Hearn, Noam Rinetzky, ...
SEUS
2009
IEEE
14 years 2 months ago
Concurrency and Communication: Lessons from the SHIM Project
Abstract. Describing parallel hardware and software is difficult, especially in an embedded setting. Five years ago, we started the shim project to address this challenge by develo...
Stephen A. Edwards