10585 search results - page 520 / 2117 » The Orc Programming Language |
211
click to vote
SAC
2009
ACM
15 years 11 months ago
2009
ACM
The Semantic Web and its technologies become increasingly important. As more and more Semantic Web applications are being used, developing more stable Semantic Web applications be...
191
click to vote
POPL
1999
ACM
15 years 11 months ago
1999
ACM
Linking is a low-level task that is usually vaguely specified, if at all, by language definitions. However, the security of web browsers and other extensible systems depends cru...
193
click to vote
JCS
2007
15 years 7 months ago
2007
Information flow type systems provide an elegant means to enforce confidentiality of programs. Using the proof assistant Isabelle/HOL, we have specified an information flow ty...
185
click to vote
WWW
2002
ACM
16 years 7 months ago
2002
ACM
XML repositories are now a widespread means for storing and exchanging information on the Web. As these repositories become increasingly used in dynamic applications such as e-com...
269
click to vote
POPL
2009
ACM
16 years 7 months ago
2009
ACM
PHP is a popular language for server-side applications. In PHP, assignment to variables copies the assigned values, according to its so-called copy-on-assignment semantics. In con...