131 search results - page 20 / 27 » JavaML: a markup language for Java source code |
POPL
2001
ACM
14 years 7 months ago
2001
ACM
We present a variant of Proof-Carrying Code (PCC) in which the trusted inference rules are represented as a higher-order logic program, the proof checker is replaced by a nondeter...
ICSE
2008
IEEE-ACM
14 years 8 months ago
2008
IEEE-ACM
Web applications support many of our daily activities, but they often have security problems, and their accessibility makes them easy to exploit. In cross-site scripting (XSS), an...
CC
2003
Springer
14 years 21 days ago
2003
Springer
We have developed Tm, a template-based metacompiler. Given a set of data-structure definitions and a template, Tm generates files that instantiate the template for the given data...
IWPC
2000
IEEE
13 years 12 months ago
2000
IEEE
The Java programming language has gained increasing importance for the development of embedded systems. To be cost efficient, such systems have to cope with significant hardware...
ICECCS
2002
IEEE
14 years 13 days ago
2002
IEEE
A commonly held belief is that applications written ina object-oriented languages are more modular than those written in procedural languages. This paper presents results from an ...