97 search results - page 3 / 20 » A Survey of Concurrent METATEM - the Language and its Applic... |
LOBJET
2000
13 years 4 months ago
2000
ABSTRACT. As informal methods do little to help their use for concurrent and distributed programming, one of the most challenging current tasks is to build tools based on formal me...
ICFP
2012
ACM
11 years 7 months ago
2012
ACM
When termination of a program is observable by an adversary, confidential information may be leaked by terminating accordingly. While this termination covert channel has limited ...
POS
1994
Springer
13 years 9 months ago
1994
Springer
The differing requirements for concurrency models in programming languages and databases are widely diverse and often seemingly incompatible. The rigid provision of a particular c...
ERLANG
2006
ACM
13 years 10 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 ...
CSL
1998
Springer
13 years 4 months ago
1998
Springer
What role should evaluation play in the development of natural language generation () techniques and systems? In this paper we describe what is involved in natural langua...