5343 search results - page 81 / 1069 » Keyword programming in java |
166
click to vote
Book
"This is the most comprehensive and up-to-date book about integrating XML with Java. It contains over 1000 pages of detailed information on SAX, DOM, JDOM, JAXP, TrAX, XPath, ...
HCW
1998
IEEE
15 years 2 months ago
1998
IEEE
Java's design goals of portability, safety, and ubiquity make it a potentially ideal language for large-scale heterogeneous computing. One of the remaining challenges is to c...
120
click to vote
RTA
2010
Springer
15 years 1 months ago
2010
Springer
We present an automated approach to prove termination of Java Bytecode (JBC) programs by automatically transforming them to term rewrite systems (TRSs). In this way, the numerous t...
DAGSTUHL
2001
14 years 11 months ago
2001
In this paper we present a recursion-theoretic denotational semantics for Featherweight Java. Our interpretation is based on a formalization of the object model of Castagna, Ghelli...
174
click to vote
Book
"Eloquent JavaScript is a digital book providing a comprehensive introduction (tutorial) to the JavaScript programming language. Apart from a bookful of text, it contains plen...