79 search results - page 2 / 16 » Realizability of Concurrent Recursive Programs |
CONCUR
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. We propose a new operational model for shared variable concurrency, in the context of a concurrent, higher-order imperative language `a la ML. In our model the scheduling...
CORR
2010
Springer
13 years 5 months ago
2010
Springer
We discuss the realization of evaluation strategies for the concurrent constraint-based functional language ccfl within the translation schemata when compiling ccfl programs into t...
SFP
2003
13 years 6 months ago
2003
Abstract Hume is a domain-specific programming language targeting resourcebounded computations. It is based on generalised concurrent bounded automata, controlled by transitions c...
POPL
2012
ACM
12 years 24 days ago
2012
ACM
We propose a general formal model of isolated hierarchical parallel computations, and identify several fragments to match the concurrency constructs present in real-world programm...
POPL
2004
ACM
13 years 10 months ago
2004
ACM
The ability to summarize procedures is fundamental to building scalable interprocedural analyses. For sequential programs, procedure summarization is well-understood and used rout...