5343 search results - page 81 / 1069 » Keyword programming in java |
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
14 years 1 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...
RTA
2010
Springer
14 years 14 days 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
13 years 10 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...
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...