1159 search results - page 24 / 232 » Adding Concurrency to a Programming Language |
IFIP
2003
Springer
14 years 25 days ago
2003
Springer
POPL
2009
ACM
14 years 2 months ago
2009
ACM
Concurrent Collections (CnC)[8] is a declarative parallel language that allows the application developer to express their parallel application as a collection of high-level comput...
TPHOL
2007
IEEE
14 years 1 months ago
2007
IEEE
This paper concerns the formal semantics of programming languages, and the specification and verification of software. We are interested in the verification of real programs, wr...
ERLANG
2006
ACM
14 years 1 months ago
2006
ACM
Termite Scheme is a variant of Scheme intended for distributed computing. It offers a simple and powerful concurrency model, inspired by the Erlang programming language, which is ...
JLP
2000
13 years 7 months ago
2000
interpretation. In the context of stream parallelism, this analysis identi es an amount of input data for which predicate execution can safely wait without danger of introducing de...