264 search results - page 12 / 53 » Ephemeral Java Source Code |
TIC
2000
Springer
14 years 5 days ago
2000
Springer
Abstract. A type-based certifying compiler maps source code to machine code and target-level type annotations. The target-level annotations make it possible to prove easily that th...
OOPSLA
2010
Springer
13 years 7 months ago
2010
Springer
Web sites and web browsers have recently evolved into platforms on top of which entire applications are delivered dynamically, mostly as JavaScript source code. This delivery form...
POPL
1998
ACM
14 years 25 days ago
1998
ACM
Java is typically compiled into an intermediate language, JVML, that is interpreted by the Java Virtual Machine. Because mobile JVML code is not always trusted, a bytecode verifi...
FIDJI
2003
Springer
14 years 1 months ago
2003
Springer
— We present techniques for analyzing the source code of distributed Java applications, and building finite models of their behaviour. The models are labelled transition systems...
ICSM
2002
IEEE
14 years 1 months ago
2002
IEEE
Design patterns are widely recognized as important software development methods. Their use as software understanding tools, though generally acknowledged has been scarcely explore...