1445 search results - page 6 / 289 » Uniformly Hard Languages |
ICALP
1998
Springer
13 years 12 months ago
1998
Springer
ERLANG
2007
ACM
13 years 11 months ago
2007
ACM
ICLP
2007
Springer
14 years 1 months ago
2007
Springer
We propose CoreTuLiP - the core of a trust management language based on Logic Programming. CoreTuLiP is based on a subset of moded logic programming, but enjoys the features of TM ...
CORR
2009
Springer
13 years 5 months ago
2009
Springer
A challenge for programming language research is to design and implement multi-threaded low-level languages providing static guarantees for memory safety and freedom from data rac...
FMICS
2009
Springer
13 years 11 months ago
2009
Springer
In this paper we show how Rate Transition Systems (RTSs) can be used as a unifying framework for the definition of the semantics of stochastic process algebras. RTSs facilitate the...