209 search results - page 31 / 42 » An executable formal semantics of C with applications |
CONCUR
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. A concurrent Kleene algebra offers, next to choice and iteration, operators for sequential and concurrent composition, related by an inequational form of the exchange la...
PPOPP
1991
ACM
14 years 6 days ago
1991
ACM
This paper presents Jade, a language which allows a programmer to easily express dynamic coarse-grain parallelism. Starting with a sequential program, a programmer augments those ...
JTRES
2009
ACM
14 years 3 months ago
2009
ACM
This paper describes hardware methods, a lightweight and platform-independent scheme for linking real-time Java code to co-processors implemented using a hardware description lang...
SP
1998
IEEE
14 years 29 days ago
1998
IEEE
The growing use of mobile code in downloaded applications and servlets has increased interest in robust mechanisms for ensuring privacy and secrecy. Information flow control is in...
ECEASST
2008
13 years 8 months ago
2008
: The Resource Description Framework (RDF) is a standard developed by the World Wide Web Consortium (W3C) to facilitate the representation and exchange of structured (meta-)data in...